PhD and undergraduate projects
If you are interested in doing a PhD or undergraduate project with me, please get in touch.
My research interests include:
- Semantics of programming languages
- Logic and type theory, in particular Homotopy Type Theory
- Formal proofs and formalised mathematics, in particular Univalent Foundations
- Functional programming
- Category theory in programming
Office: +44 121 414 3711
Cell: +33 6 52 25 77 87
School of Computer Science
The University of Birmingham
This page was last updated at 2017-11-15 20:12:04 +0000
This site is compiled with nanoc. Built from code written by Cyril Cohen.