activities
An overview of my teaching and professional activities.
teaching
Oxford
I am a graduate teaching assistant in the department of computer science. I am involved with the following lectures and classes.
post-graduate
- System Verification, for the AIMS CDT, 2024
- Probabilistic Model Checking, 2023
- Computer-Aided Formal Verification, 2023
undergraduate
- Imperative Programming, 2024
- Databases, 2024
- Functional Programming, 2023
Saarland University
- Concurrent Programming, 2022
- Theoretical Computer Science, 2022
- Big Data Engineering, 2021
- Functional Programming, 2020
I also served as the lecturer for the mathematics preparatory course in 2021.
reviewing
conference reviewing
TACAS (2024), QEST-FORMATS (2024)
artifact evaluation committee
CAV (2024)