Philip Saville headshot

Philip Saville

Department of Computer Science, University of Oxford

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

Departmental webpage: cs.ox.ac.uk/people/philip.saville/


I am currently a post-doc with Sam Staton at the University of Oxford. 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