Computerphile

Homotopy Type Theory: Vladimir Voevodsky (2017x70)

:

Voevodsky took his knowledge of abstract geometry and applied it to Computer Science, then took Computer Science principles and applied them to Mathematics. Professor Thorsten Altenkirch remembers him.