Hän oli Zürichin teknillisen korkeakoulun (ETH) Matemaattisen tutkimuksen instituutin (Forschungsinstitut für Mathematik) johtaja (ja toimi ensimmäisen kahden vuoden aikana yhdessä Armand Borelin kanssa) vuosina 1984 - 1995. Hän tuli Eckmannin tilalle.
Tietenkin monimutkaisempi versio lauseesta on "Hän oli ETH Zürichin Matemaatikon tutkimuslaitoksen johtaja vuosina 1984 - 1995, jossa hän onnistui Beno Eckmannin ja johti ETH Zürichin matematiikan tiedekunnan uudelleenrakentamista".