Vladimir Voevodsky, Fields Medalist, Dies at 51 The Institute for Advanced Study is deeply saddened by the passing of Vladimir Voevodsky, Professor in the School of Mathematics. Voevodsky, a truly extraordinary and original mathematician, made many contributions to the field of mathematics, earning him numerous honors and awards, including the Fields Medal. Celebrated for tackling the most difficult problems in abstract algebraic geometry, Voevodsky focused on 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. More recently he became interested in type-theoretic formalizations of mathematics and automated proof verification. He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories. His new "Univalence Axiom" has had a dramatic impact in both mathematics and computer science. A gathering to celebrate Voevodsky’s life and legacy is being planned and more information will be available soon. Vladimir Alexandrovich Voevodsky (/vɔɪˈvɒdski/; Russian: Влади́мир Алекса́ндрович Воево́дский, 4 June 1966 - 30 September 2017) was a Russian mathematician. His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002. He is also known for the proof of the Milnor conjecture and motivic Bloch-Kato conjectures and for the univalent foundations of mathematics and homotopy type theory. 来源：ias.edu网站 |

关于我们|手机版|**博士家园**
( 沪ICP备15045866号-1 )（沪公网安备 31011702001868号）

GMT+8, 2021-10-20 17:41 , Processed in 1.187500 second(s), 25 queries , Gzip On.