Teaching
- Scalable Software Verification [Philippa Gardner]
- Teaching Assistant: Coursework marking/feedback, Tutorials, Exam Preparation, Autumn 2020/2021/2022/2023
- Course Support Leader, Autumn 2023
- Models of Computation [Azalea Raad (2020/2021), Herbert Wiklicky (2020-2022), Sophia Drossopoulou (2022)]
- Teaching Assistant: Coursework marking/feedback, Tutorials, Autumn 2020/2021/2022
- Probability and Statistics [Giuliano Casale]
- Teaching Assistant: Coursework marking, Tutorials, Spring 2021/2022
- Graphs and Algorithms [Iain Philipps]
- Teaching Assistant: Coursework marking, Spring 2021
- Reasoning about Programs [Sophia Drossopoulou]
- Assistant Examiner: Exam Second Marking, Spring 2021
Project Supervisions
I have (co-)supervised several Master/Undergraduate final year projects at Imperial College; all of them are related to WebAssembly mechanisations.
- Wasm-SpecTec Generation of Coq Mechanisation (Diego Cupello, 2024, CPP Department Award)
- Type Soundness of WebAssembly 2.0 (Henit Mandaliya, 2023)
- Sound and Progressful Interpreter for WebAssembly (Stefan Radziuk, 2023, Distinguished Project Prize)
- Soundness of WebAssembly Module Instantiations (Liqing Yang, 2022)