Vladimir Voevodsky

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

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

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

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

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

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

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