Teaching

Teaching Assistants

• Scalable Software Verification — P. Gardner
  • Teaching Assistant: Coursework marking/feedback, Tutorial sessions, Exam Preparation Autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023
  • Course Support Leader Autumn 2023
• Models of Computation — A. Raad (2020/2021), H. Wiklicky (2020–2022), S. Drossopoulou (2022)
  • Teaching Assistant: Coursework marking/feedback, Tutorial sessions Autumn 2020, Autumn 2021, Autumn 2022
• Probability and Statistics — G. Casale
  • Teaching Assistant: Coursework marking, Tutorial sessions Spring 2021, Spring 2022
• Graphs and Algorithms — I. Philipps
  • Teaching Assistant: Coursework marking Spring 2021
• Reasoning about Programs — S. Drossopoulou
  • Assistant Examiner: Exam Second Marking Spring 2021

Project Supervisions

I have served as the technical supervisor for several Master/Undergraduate final year projects at Imperial College; all of them are related to WebAssembly mechanisations.

• Wasm-SpecTec Generation of Coq Mechanisation — D. Cupello (CPP Department Award) 2024
• Type Soundness of WebAssembly 2.0 — H. Mandaliya 2023
• Sound and Progressful Interpreter for WebAssembly — S. Radziuk (Distinguished Project Prize) 2023
• Soundness of WebAssembly Module Instantiations — L. Yang 2022