Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham.
❤️ Homotopy Type Theory/Univalent Mathematics
Highlights
- Pro
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
Pull Shark
Loading