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)