nLab
Vladimir Voevodsky

Владимир Воеводский (who publishes in English as Vladimir Voevodsky) (web site) is a Russian mathematician working in the Institute for Advanced Study.

He received a Fields medal in 2002 for a proof of the Milnor conjecture. The proof crucially uses A1-homotopy theory and motivic cohomology developed by Voevodsky for this purpose. In further development of this in 2009 Voevodsky announced a proof of the Bloch-Kato conjecture.

After this work in algebraic geometry, cohomology and homotopy theory Voevodsky turned to the foundations of mathematics and is now working on homotopy type theory which he is advertising as a new “univalent foundations” for modern mathematics with its emphasis on homotopy theory and higher category theory.

See also the English Wikipedia article .

Talks

A list of video-recorded talks by Voevodsky in the context of homotopy type theory is here.

An interview is here.

The transcript of another interview (in Russian) is available at: (part 1) and (part 2)

category: people

Revised on March 11, 2014 03:46:11 by Urs Schreiber (89.204.155.115)