Adrian Perrig, ETH Zürich