Philip Saville

Philip Saville

Research Associate

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

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Programming Languages

See Also:

• Personal webpage (external)

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

• Foundations of Programming Languages

Projects

• Quantum programming via algebraic effects

Supervisor