Vladimir Voevodsky 1966–2017 - Press Release | Institute for Advanced Study

Vladimir Voevodsky, a truly extraordinary and original mathematician who made remarkable advances in algebraic geometry, and whose most recent work concerned rewriting the foundations of mathematics to make them suitable for computer proof verification, died at age 51 on September 30 in Princeton, New Jersey. Voevodsky was Professor in the School of Mathematics at the Institute for Advanced Study, a position he held since 2002. Voevodsky was able to handle highly abstract ideas to solve concrete mathematical problems. He had a deep understanding of classical homotopy theory, where the objects considered are flexible, meaning continuous deformations are neglected, and was able to transpose its methods in the very rigid world of algebraic geometry. This enabled him to construct new cohomology theories for algebraic varieties, which he used to prove the Milnor and Bloch-Kato conjectures, relating K-theory groups of fields and Galois cohomology. “When I first saw the basic definitions in m

Vladimir Voevodsky, a truly extraordinary and original mathematician who made remarkable advances in algebraic geometry, and whose most recent work concerned rewriting the foundations of mathematics to make them suitable for computer proof verification, died at age 51 on September 30 in Princeton, New Jersey. Voevodsky was Professor in the School of Mathematics at the Institute for Advanced Study, a position he held since 2002. Voevodsky was able to handle highly abstract ideas to solve concrete mathematical problems. He had a deep understanding of classical homotopy theory, where the objects