Skip to main content

Philip Saville

Personal photo - Philip Saville

Philip Saville

Research Associate

E: philip.saville@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Category theory and its applications to theoretical computer science, centering around -- but not limited to -- denotational semantics, the theory of programming languages, and categorical universal algebra. See my personal webpage for preprints and slides from selected talks.

Activities

Projects

Supervisor