QED Lecture 1, Part 5: Photons, Partial Reflection & Probability Amplitudes
Vladimir Voevodsky explores the profound connections between computer science, type theory, and homotopy theory, laying groundwork for new mathematical foundations.
Faculty & Researcher Profile
Vladimir Voevodsky
Fields Medal · Institute for Advanced Study
Vladimir Voevodsky was a professor at the Institute for Advanced Study, a Fields Medalist renowned for his groundbreaking work in algebraic geometry and homotopy theory.
2standalone talks2total lectures1hrecorded
Standalone talks by Vladimir Voevodsky
2Self-contained public lectures, keynote addresses, and research seminars.
Univalent Foundations: New Foundations of Mathematics
Vladimir Voevodsky introduces Univalent Foundations, a revolutionary approach to mathematics that leverages computer assistance for rigorous verification, bridging logic and computation.