Research

On this page:

• Publications
• Other work
• Community
• Teaching

Publications

Other work

• I placed second at the POPL Student Research Competition in 2020. This involved three rounds: an extended abstract, a poster, and a presentation.

• I received a Palantir Prize for a highly commended undergraduate dissertation in 2018. I implemented and verified a compiler optimsation for the CakeML compiler, supervised by Magnus Myreen (technical - CakeML), Stephen Kell (project planning and dissertation), and Anthony Fox (technical - HOL4). This is what led me to my PhD.

Community

• I maintain a HOL4 tactic cheatsheet (also found on the HOL4 website)
• I organised HOL4 users’ workshops in 2024 and 2025, hosted at Arm
• I served on the program committee for ITP in 2024 and 2025
• I subreviewed for JFP in 2021
• I served on the arifact evaluation committee for ICFP in 2021
• I was a student volunteer for POPL in 2020
• I attended PLMW at ICFP in 2019

Teaching

I have previously led seminars in:

• Foundations of Computing. First year course - foundations in: algebra, statistics, proofs, and set theory.
• Functional and Concurrent Programming. Second year course - Erlang and the actor model, Haskell.
• Algorithms, Correctness and Efficiency. Second year course - data structures, sorting, graphs, big-O.
• Theory of Computing. Second year course - logic and proof, formal languages, computability.
• Programming Languages: Application and Design. Third year course - programming language design and its trade-offs.
• Functional Programming. Second year course - Haskell and Erlang, language semantics.

Other related activities

• In the summer of 2017, I took a research placement at the Rainbow Research Group, University of Cambridge. Working with Rafał Mantiuk, I created Java-based coursework for a first-year graphics course, making use of automated assessment in a virtual learning environment (VLE).

• I have previously coached both beginner and experienced rowing crews regularly - at King’s College Boat Club, Cambridge and at University of Kent Rowing Club.

• In 2017, I was a reader at Carols from King’s, broadcast by BBC Two on Christmas Eve.