Philip Saville

Philip Saville

Research Associate

Leaving date: 28th August 2024

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.

As of September 2024 I will be moving to the University of Sussex.

Activities

• Foundations of Programming Languages

Projects

• Quantum programming via algebraic effects

Supervisor