About

Broadly, I am interested in functional programming, type systems, and formal methods which provide strong, static guarantees about program behaviour. Most recently, I was a PhD student at the School of Computer Science, University of Nottingham, where I also received my MSci. As a member of the Functional Programming Lab, I investigated the use of dependently-typed programming languages, like Agda, serving as proof systems via the Curry-Howard correspondence, to model the semantics of agent-based logical systems. Supervised by Venanzio Capretta and Graham Hutton, I submitted my thesis in September 2024 and am due to graduate in July 2025. See some of my non-academic projects on GitLab.

Academic Work

• Agent-Based Logics in Dependent Type Theory
  PhD thesis, September 2024
  Supervisors: Venanzio Capretta and Graham Hutton
  [Thesis]
• Game Forms for Coalition Effectivity Functions
  Presented at the 25th International Conference on Types for Proofs and Programs, Oslo 2019
  Coauthor: Venanzio Capretta
  [Paper] [Slides]
• The Coinductive Formulation of Common Knowledge
  Proceedings of the 9th International Conference on Interactive Theorem Proving, Oxford 2018
  Coauthor: Venanzio Capretta
  [Paper] [Slides] [Agda]

Teaching

Between 2015 and 2023, I provided teaching assistance for the following undergraduate modules offered by the School of Computer Science, University of Nottingham:

• G51PGP: Programming Paradigms (seven semesters)
• G52AFP: Advanced Functional Programming (seven semesters)
• G51MCS: Mathematics for Computer Scientists (five semesters)
• G52ACE: Algorithms, Correctness, and Efficiency (four semesters)
• G52LAC: Languages and Computation (three semesters)
• G53CMP: Compilers (two semesters)
• G51CSF: Computer Fundamentals (two semesters)
• G51PGA: Programming and Algorithms (two semesters)
• G52CPP: C++ Programming (Spring 2017)
• G51SYS: Systems and Architecture (Autumn 2018)
• Two-Day "Welcome to the Machine" Introduction for Incoming First-Year Undergraduates (Autumn 2018)