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...