Statements (47)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:almaMater |
gptkb:Moscow_State_University
|
| gptkbp:associatedWith |
gptkb:Mathematical_Society_of_Japan
gptkb:University_of_California,_Los_Angeles gptkb:Russian_Academy_of_Sciences gptkb:Institute_for_Advanced_Study,_Princeton gptkb:European_Mathematical_Society gptkb:American_Mathematical_Society Mathematical_Reviews Institute_of_Mathematics,_Polish_Academy_of_Sciences Mathematical_Institute_of_the_Academy_of_Sciences_of_the_Czech_Republic Mathematical_Institute_of_the_University_of_Oxford |
| gptkbp:awards |
gptkb:Fields_Medal
|
| gptkbp:birthDate |
1966-04-16
|
| gptkbp:contribution |
Foundational work in mathematics
Influence on mathematical education Advancements in homotopy type theory Development of the Univalent Axiom Promotion of open access in mathematics |
| gptkbp:deathDate |
2017-09-30
|
| gptkbp:employees |
gptkb:University_of_Chicago
gptkb:Institute_for_Advanced_Study |
| gptkbp:field |
Category theory
Computer science Logic Mathematics Algebraic_topology |
| https://www.w3.org/2000/01/rdf-schema#label |
Alexey Voevodsky
|
| gptkbp:influenced |
gptkb:Vladimir_Voevodsky
Modern mathematics Computer scientists Mathematical logic community Homotopy theorists Type theorists |
| gptkbp:influencedBy |
gptkb:Andrei_Kolmogorov
|
| gptkbp:knownFor |
Univalent Foundations
Homotopy type theory |
| gptkbp:nationality |
Russian
|
| gptkbp:notableFeature |
gptkb:Nicolas_Bourbaki
gptkb:Jacob_Lurie gptkb:Vladimir_Drinfeld Michael_Shulman |
| gptkbp:researchFocus |
Mathematical logic
Type theory Computational mathematics Foundations of mathematics Homotopy theory |