Computer Laboratory

Philip Saville

I am a PhD student with Marcelo Fiore in the Programming, Logic and Semantics group of the Computer Lab at the University of Cambridge. My work uses category theory to study mathematical structures that arise in theoretical computer science and mathematics; I am particularly interested in the perspective of universal algebra and the related abstract syntax approach to studying type theories.


  • List objects with algebraic structure (pdf), with Marcelo Fiore. In 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Slides for the associated talk are available here.

Teaching and other activities

In 2016/17 I supervised Discrete Maths and Types. I am also a co-organiser of the PLS group's informal seminar series, Logic & Semantics for Dummies (usually held on Friday mornings).

  • © 2017 Computer Laboratory, University of Cambridge