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-2024)

CS1840 Internet Services (2025)

CS1860 Mathematical Structures (2023)

CS1999 Foundation Individual Scientific Project (2025)

CS2800 Software Engineering (2022, 2024)

CS2910 Symbolic Artificial Intelligence (2023-2024)

CS3450 Software Verification (2023-2025)

CS3510 Functional Programming (2022-2025)

CS3821 Final Year Project (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)