Cambridge sabbatical 2026-27

activities 2026

lectures

• 28 January, CST Wednesday Lecture: What is HoTT? [slides]
• 2 February - 9 March, Weekly Lectures: Categorical Logic and Type Theory
• 12 February, Formalization of Mathematics Seminar: HoTTLean

research projects

• HoTTLean

other stuff

• Office: Gates Building FC08

---

contact