skip to content

Department of Computer Science and Technology

Wednesday, 25 October, 2023 - 15:05 to 15:55
Dr Jon Sterling - Department of Computer Science and Technology, University of Cambridge
Lecture Theatre 1, Computer Laboratory, William Gates Building

Voevodsky’s univalent foundations and homotopy type theory comprise a new and radical approach to the foundations of mathematics in which the structural properties of equality are extended to every possible form of equivalence and symmetry, leading to an expanded universe of discourse in which ordinary sets and algebraic structures exist harmoniously alongside infinite-dimensional spaces. In this talk, I will expose the basic grammar and vocabulary of the new univalent foundations — and explain how they shed light on basic problems in theoretical computer science and the specification of computer programs.

Link to join virtually:

This talk is being recorded.

Seminar series: 
Wednesday Seminars

Upcoming seminars