Vladimir Voevodsky (1966–2017)

Mathematician who revolutionized algebraic geometry and computer proof. Mathematician who revolutionized algebraic geometry and computer proof. New Content Item