Vladimir Voevodsky

Vladimir Voevodsky revolutionized algebraic geometry and is best known for developing the new field of "motivic homotopy theory." His contributions to computer formalization of proofs and the foundations of mathematics also made an immense impact.

A...