Senior Lecturer in Programming Languages
Department of Computer Science
University of Bristol
Department of Computer Science
University of Bristol
Research interests:
- programming languages (theory and semantics)
- type theory (in particular modal type theory)
- homotopy type theory
- logic (including modal and categorical logic)
- (higher) category theory
- formal models of computer security
- concurrency and process calculi

Research
Teaching material
-
COMSM0067 Advanced Topics in Programming Languages (2022/23)
-
A Short Course in JavaScript (access restricted to UoB) 1 2 3 4 5 6
Misc.
-
The PLS Lab
-
The Bristol Programming Languages group website
-
The Panhellenic Logic Symposium website
-
An entertaining comment about dependent types and people who work on them