Work and Education

Teaching Fellow @ Royal Holloway, University of London (Feb 2025 – Present)

Teaching Assistant @ Royal Holloway, University of London (Jan 2022 – Jan 2025)

PhD Computer Science (Ongoing) @ Royal Holloway, University of London (Sept 2021 – Present)

MMath Mathematics (w/ first class hon.) @ University of Southampton (Sept 2017 – July 2021)

Teaching

CS1822 Programming Laboratory (2022, 2023, 2024)

CS1840 Internet Services (2025)

CS1860 Mathematical Structures (2023)

CS2800 Software Engineering (2022, 2024)

CS2910 Symbolic Artificial Intelligence (2023, 2024)

CS3450 Software Verification (2023, 2024, 2025)

CS3510 Functional Programming (2022, 2023, 2024, 2025)

Miscellaneous

Co-organiser of the Proofs and Programs Club @ RHUL

Member of EuroProofNet Working Group 6 (Type Theory)

Associate Member of the Institute of Mathematics and its Applications (IMA)