skip to primary navigation skip to content

Study at Cambridge
About the University
Research at Cambridge

Search site

Study at Cambridge

Undergraduate

Graduate

International students
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
History
Visiting the University
Term dates and calendars
Map

For media
Video and audio
Find an expert
Publications
Global Cambridge

News
Events
Public engagement
Jobs
Give to Cambridge

Research at Cambridge

For staff
For current students
For alumni
For business
Colleges & departments
Libraries & facilities
Museums & collections
Email & phone search

Computer Laboratory
Teaching
Courses 2025–26
Homotopy Type Theory & Univalent Foundations
Course materials

Department of Computer Science and Technology

Homotopy Type Theory & Univalent Foundations

Course pages 2025–26

Computer Laboratory
Teaching
Courses 2025–26
Masters

Homotopy Type Theory & Univalent Foundations
Advanced Graphics and Image Processing
Advanced topics in programming languages
Affective Artificial Intelligence
Category Theory
Computer Security: Principles and Foundations
Digital Money and Decentralised Finance
Digital Signal Processing
Introduction to Computational Semantics
Introduction to Natural Language Syntax and Parsing
Large-scale data processing and optimisation
Machine Learning and the Physical World
Machine Learning for Language Processing
Machine Visual Perception
Network Architectures
Overview of Natural Language Processing
Practical Research in Human-centred AI
Quantum Complexity Theory
Reinforcement Learning
Understanding Quantum Architecture
Advanced Topics in Category Theory
Advanced Topics in Computer Architecture
Computing for Collective Intelligence
Cryptography and Protocol Engineering
Cybercrime
Explainable Artificial Intelligence
Geometric Deep Learning
Mobile Health
Multicore Semantics and Programming
Principles of AI-driven Neuroscience and Translational Biomedicine
Principles of Machine Learning Systems
Proof Assistants
Theory of Deep Learning

Homotopy Type Theory & Univalent Foundations

Syllabus
Course materials
Assessment
Recordings

Please visit the external course website to access lecture notes.

© 2025 Department of Computer Science and Technology, University of Cambridge
Information provided by Dr Jon Sterling – edit page

University A-Z
Contact the University
Accessibility
Freedom of information
Terms and conditions

Study at Cambridge

Undergraduate
Graduate
International students
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
Visiting the University
Map
News
Events
Jobs
Give to Cambridge

Research at Cambridge

News
Features
Discussion
Spotlight on...
About research at Cambridge