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

Address

Merchant Venturers Building 2.61
Woodland Road
Bristol
BS8 1UB
United Kingdom