Senior Lecturer in Programming Languages

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