Seine Hauptinteressen liegen im Bereich der Schnittstellen von algebraischer Geometrie und Topologie und er ist der Mitbegründer der Homotopietheorie von Schemata.
In den letzten Jahren hat er diese Theorie in der Homotopie Typentheorie (HoTT) angewandt, welche zurzeit in der mathematischen Logik und Informatik sehr intensiv diskutiert wird.
2002 erhielt er für seine moderne Formulierung von motivischer Kohomologie und für deren Verwendung im Beweis der Milnor-Vermutung die Fields Medaille.
www.gess.ethz.chHis main interests are in the intersection of algebraic geometry with algebraic topology, and he introduced together with Fabien Morel a homotopy theory for schemes.
He has recently been involved in the homotopy type theory (HoTT) project which is being intensely discussed in mathematical logic and computer science.
In 2002, he received the Fields Medal for his modern formulation of motivic cohomology and for its use in the proof of Milnor’s conjecture.
www.gess.ethz.ch您想添加一个词、一个短语或一段译文吗？
请发送新条目。