Vladimir Voevodsky

Vladimir Voevodsky, who joined the School of Mathematics as Professor in 2002, 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.

On Sunday, October 8, 2017, the Institute hosted a gathering in remembrance of Vladimir Voevodsky, Professor in the School of Mathematics. Friends, family, and the Institute...

In January 1984, Alexander Grothendieck submitted to the French National Centre for Scientific Research his proposal “Esquisse d’un Programme.” Soon copies of this text started circulating among mathematicians. A few months later, as a first-year...

Vladimir Voevodsky

In Voevodsky’s experience, the work of a mathematician is 5% creative insight and 95% self-verification. Moreover, the more original the insight, the more one has to pay for it later in self-verification work. The Univalent Foundations project,...

In 2012–13, the Institute’s School of Mathematics hosted a special year devoted to the topic “Univalent Foundations of Mathematics,” organized by Steve Awodey, Professor at Carnegie Mellon University, Thierry Coquand, Professor at the University...

Since spring, and even before that, I have participated in a great collaborative effort to write a book on homotopy type theory. It is finally finished and ready for pub­lic consumption. You can get the book freely at http://homotopytypetheory....

This lecture, presented by Vladimir Voevodsky, Professor in the School of Mathematics, was part of the Institute for Advanced Study’s celebration of its eightieth anniversary, and took place during the events related to the Schools of Mathematics...