Computerphile did some videos on voevodsky and homotopy type theory: https://www.youtube.com/watch?v=v5a5BYZwRx8

(watch those eyes! I like how they bug out when he gets really excited.)