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.

Watch Lectures from the Vladimir Voevodsky Memorial Conference

The life and work of Vladimir Voevodsky was celebrated with a 4-day conference at the Institute for Advanced Study from September 11–14, 2018, bringing together experts from the fields he helped to shape. Videos of lectures by experts from around the...

Mathematics

Remembering Vladimir Voevodsky, 1966–2017

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 community convened to celebrate his life and legacy.

Robbert Dijkgraaf
Insti...

The Institute Woods

Photographs by Vladimir Voevodsky

Vladimir Voevodsky, a truly extraordinary and original mathematician, was also an avid photographer who enjoyed capturing the diverse wildlife of the Institute Woods.

Mathematics

The Origins and Motivations of Univalent Foundations

Vladimir Voevodsky

The Institute Letter Summer 2014

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...

Mathematics

Univalent Foundations: New Foundations of Mathematics

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...

Mathematics

Univalent Foundations and the Large-Scale Formalization of Mathematics

Steve Awodey and Thierry Coquand

The Institute Letter Summer 2013

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 of...

Mathematics

Socio-Technological Aspects of Making the HoTT Book

Andrej Bauer

The Institute Letter Summer 2013

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 public consumption. You can get the book freely at http://homotopytypetheory.org...

Mathematics

What If Current Foundations of Mathematics Are Inconsistent?

Vladimir Voevodsky

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 and...