Philip Saville

(firstname).(lastname)@cs.ox.ac.uk


I am currently a post-doc with Sam Staton. Previously I was a post-doc at the University of Edinburgh working with Ohad Kammar as part of the grant Effectful theories of programming languages: models, abstractions, validation. Before that I was a PhD student under 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.

Publications

Thesis

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