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.

Presentations

• µHOL^ex: 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

• Teaching assistant
  Symbolic Artificial Intelligence (Prolog), Functional Programming (Haskell, Scala)
  Royal Holloway, University of London, 2024
• Supervisor
  Semantics of Programming Languages, Concepts in Programming Languages, Object-Oriented Programming and Further Java
  University of Cambridge, 2022-2023