Philip Saville


As of February 2021 I have moved to Oxford: my new website is here.

I am currently a post-doc working with Ohad Kammar as part of the grant Effectful theories of programming languages: models, abstractions, validation. Before that I was a PhD student of Marcelo Fiore at the University of Cambridge.

Research interests

I am interested in category theory and its applications to theoretical computer science. Particularly:
  1. Categorical semantics of programming languages.
  2. Categorical universal algebra.
  3. Higher-dimensional categories: their internal languages, proofs of coherence, and applications to rewriting theory and proof theory.



Cartesian closed bicategories:type theory and coherence, supervised by Marcelo Fiore. Examined by Steve Awodey (external) and Martin Hyland (internal), 24th March 2020.

Selected talks