Skip to main content

Philip Saville

Personal photo - Philip  Saville

Philip Saville

Research Associate


Wolfson Building, Parks Road, Oxford OX1 3QD


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 pre-prints and slides from selected talks.