Vladimir Voevodsky

Vladimir Voevodsky
Professor
School of Mathematics

Vladimir Voevodsky is known for his work in the homotopy theory of schemes, algebraic K-theory, and interrelations between algebraic geometry and algebraic topology. He made one of the most outstanding advances in algebraic geometry in the past few decades by developing new cohomology theories for algebraic varieties. Among the consequences of his work are the solutions of the Milnor and Bloch-Kato Conjectures. Currently, he is interested in type-theoretic formalizations of mathematics and automated proof verification. He is working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Lof type theories.

Harvard University, Ph.D. 1992; Harvard University, Junior Fellow, Harvard Society of Fellows, 1993–96, Visiting Scholar 1996–97 and 2006–08; Max-Planck-Institut, Visiting Scholar 1996–97; Northwestern University, Associate Professor 1996–99; Institute for Advanced Study, Member 1992–93 and 1998–2001, Professor 2002–; Sloan Fellowship 1996–98; Clay Prize Fellowship 1999, 2000, 2001; European Academy of Sciences, Member; Fields Medal 2002

Individual Homepage