//

Press N to jot a timestamped note or B to pin a moment while watching.
Vladimir Voevodsky explores the profound connections between computer science, type theory, and homotopy theory, laying groundwork for new mathematical foundations.
Vladimir Voevodsky Professor, School of Mathematics