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

I am interested in logical and algebraic approaches to understanding the structure of computation. Most of my work is centred around the semantic modelling of programming languages, using category theory and type theory.
Please send me an email if you would be interested in working with me as an undergraduate or graduate student, or if you would like to ask about postdoctoral opportunities.
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 Research Group (PLRG) website
-
The Panhellenic Logic Symposium website
-
An entertaining comment about dependent types and people who work on them