Chris Purdy
chrispurdy2023liverhulacuk

Centre for Programming Languages and Systems
Royal Holloway, University of London
TW20 0EX
London
England


 

Hi!

I'm a research student in programming languages, logic and type theory, currently studying for a PhD at RHUL, supervised by Dr. Reuben Rowe. My research interests include:

  • Cyclical proof systems
  • Type theories with fixed-points
  • Functional programming languages
  • Categorical semantics of type theory and logic
  • (Co)monads and container functors
Previously, I worked as a research assistant at University of Cambridge, working on the Isaac Physics and Ada Computer Science projects. My undergraduate degree is in Computer Science from University of Nottingham.

Publications

Presentations

  • Distributive Laws of Monadic Containers
    Talk at SYCO 13
    University College London, April 2025
    (slides)
  • µHOLex: a cyclic proof system for higher-order fixed point logic
    Talk at British Colloquium for Theoretical Computer Science
    University of Bath, April 2024
    (slides)
  • Introduction to Functional Programming
    Seminar for RHUL CS Foundation students
    Royal Holloway, University of London, March 2024
    (slides) (worksheet)
  • Monadic Streams and Lax-Sigma Universes
    Talk at UoN Functional Programming Lab's "FP Lunch"
    University of Nottingham, December 2023
    (slides)
  • Monsters: Programming and Reasoning
    Extended abstract and short talk
    TYPES 2022, Nante, France
    Chris Purdy, Venanzio Capretta
    (slides) (GitHub)

Theses

  • [Space reserved for PhD thesis ♪~ ᕕ(ᐛ)ᕗ]
  • Programming with Monsters
    Undergraduate thesis
    University of Nottingham, May 2021
    (pdf)

Teaching

  • Extracurricular course
    PaPC 2025: Agda and Cubical Agda
    Royal Holloway, University of London, 2025
    (worksheets) (slides)
  • Teaching assistant
    Symbolic Artificial Intelligence (Prolog), Functional Programming (Haskell, Scala)
    Royal Holloway, University of London, 2024-2025
  • Supervisor
    Semantics of Programming Languages, Concepts in Programming Languages, Object-Oriented Programming and Further Java
    University of Cambridge, 2022-2023