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-24

undergraduate

• Concurrency, 2024
• 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)