Work and Education

Visiting Teaching Assistant @ Royal Holloway, University of London

PhD Computer Science (Ongoing) @ Royal Holloway, University of London

MMath Mathematics (w/ first class hon.) @ University of Southampton

Teaching

CS1822 Programming Laboratory (2022, 2023)

CS1860 Mathematical Structures (2023)

CS2800 Software Engineering (2022)

CS2910 Symbolic Artificial Intelligence (2024)

CS3450 Software Verification (2023, 2024)

CS3510 Functional Programming (2022, 2023, 2024)

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)