Activities

Reviewing

I served as a reviewer for the following conferences and workshops:

• ICLR 2024
• L4DC 2024
• SAIV 2024
• AAMAS 2024

Teaching

I have been involved as a teaching assistant in the following courses:

• Systems Verification (AIMS CDT, University of Oxford, 2024)
• Data, Estimation, and Inference (AIMS CDT, University of Oxford, 2024)
• Functional Programming and Verification (TUM, 2019)

Volunteering

• Secretary of the Oxford Computer Science Graduate Society
• Co-organiser of the annual departmental Oxford Computer Science Conference