Vladimir Voevodsky

Source: Wikipedia, the free encyclopedia.
Vladimir Voevodsky
American
Alma materMoscow State University
Harvard University
AwardsFields Medal (2002)
Scientific career
FieldsMathematics
InstitutionsInstitute for Advanced Study
Doctoral advisorDavid Kazhdan

Vladimir Alexandrovich Voevodsky (

Bloch–Kato conjectures and for the univalent foundations of mathematics and homotopy type theory
.

Early life and education

Vladimir Voevodsky's father, Aleksander Voevodsky, was head of the Laboratory of High Energy Leptons in the Institute for Nuclear Research at the Russian Academy of Sciences. His mother Tatyana was a chemist.[1] Voevodsky attended Moscow State University for a while, but was forced to leave without a diploma for refusing to attend classes and failing academically.[1] He received his Ph.D. in mathematics from Harvard University in 1992 after being recommended without even applying, following several independent publications;[1] he was advised there by David Kazhdan.

While he was a first year undergraduate, he was given a copy of "

CNRS) by his advisor George Shabat. He learned the French language "with the sole purpose of being able to read this text" and started his research on some of the themes mentioned there.[2]

Work

Voevodsky's work was in the intersection of

Milnor K-theory of a field to its étale cohomology.[3] For the above, he received the Fields Medal at the 24th International Congress of Mathematicians held in Beijing, China.[4]

In 1998 he gave a plenary lecture (A1-Homotopy Theory) at the International Congress of Mathematicians in

Eric M. Friedlander
) Cycles, Transfers and Motivic Homology Theories, which develops the theory of motivic cohomology in some detail.

From 2002, Voevodsky was a professor at the Institute for Advanced Study in Princeton, New Jersey.

In January 2009, at an anniversary conference in honor of

Bloch–Kato conjectures
.

In 2009, he constructed the univalent model of

Martin-Löf type theory in simplicial sets. This led to important advances in type theory and in the development of new univalent foundations of mathematics that Voevodsky worked on in his final years. He worked on a Coq library UniMath using univalent ideas.[1][6]

In April 2016, the University of Gothenburg awarded an honorary doctorate to Voevodsky.[7]

Death and legacy

Voevodsky died on 30 September 2017 at his home in Princeton, New Jersey, aged 51, from an aneurysm.[1][8] He was survived by his daughters, Diana Yasmine Voevodsky and Natalia Dalia Shalaby.[1]

Selected works

  • Voevodsky, Vladimir;
    ISBN 9781400837120.[9]
  • ISBN 9780821853214.[10][11]

Notes

  1. ^ a b c d e f Rehmeyer, Julie (6 October 2017). "Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51". New York Times.
  2. ^ See the autobiographical story in Voevodsky, Vladimir. "Univalent Foundations" (PDF). Institute for Advanced Study.
  3. ISSN 0273-0979
    .
  4. ^ The second medal at the same congress was received by Laurent Lafforgue
  5. ^ Voevodsky, Vladimir (1998). "A1-homotopy theory" (PDF). In: Proceedings of the International Congress of Mathematicians. Vol. 1. pp. 579–604.
  6. ^ UniMath: This coq library aims to formalize a substantial body of mathematics using the univalent point of view, Univalent Mathematics, 2017-10-07, retrieved 2017-10-07
  7. ^ "Fields medalist Vladimir Voevodsky new honorary doctor at the IT Faculty". 30 June 2016.
  8. ^ "IAS: Vladimir Voevodsky, Fields Medalist, Dies at 51". 30 September 2017. Retrieved 2017-09-30.
  9. doi:10.1090/s0273-0979-01-00930-2
    .
  10. ^ Lecture notes on motivic cohomology at AMS Bookstore
  11. ^ Review: Lecture Notes on Motivic Cohomology, European Mathematical Society

References

Further reading

  • More information about his work can be found on his website

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Vladimir_Voevodsky&oldid=1195822741"