activities

teaching

I am passionate about teaching. I received the teaching award of the Department of Computer Science, Oxford in 2025.

I am involved with the following lectures and classes.

Oxford

post-graduate

• Foundations of Self-Programming Agents, 2025
• System Verification, for the AIMS CDT, 2024-25
• Probabilistic Model Checking, 2023
• Computer-Aided Formal Verification, 2023-24

undergraduate

• Concurrency, 2024-25
• Imperative Programming, 2024-26
• Databases, 2024-25
• Functional Programming, 2023, 2025

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), AAAI (2026)

artifact evaluation committee

CAV (2024, 2025)