My research interests
- Type theory
- Category theory
- Computability
- Automated theorem proving
- User interface design
CCIMI is part of the Faculty of Mathematics, a collaboration between DAMTP and DPMMS