Skip to main content

Teaching

Currently, I am involved in the following courses:

  • Konzepte paralleler Programmierung - Lab execution
  • Secure and Efficient Programming with Rust - Lecture and Lab, collaborative effort with Max Schrötter
  • Green Computing - Project supervision

I organised/supervised the following classes (V - Lecture, U - Lab, S - Seminar, P - Project, WS - Winter Term, SoSe - Summer Term)

  • [V/U] Correct-by-Construction Software Engineering, WS 24/25 and WS 25/26, Responsible Lecturer
  • [V/U] Software Engineering II, SoSe 24 und SoSe 25,  Lab coordination
  • [V/U] Theoretische Informatik II - Effiziente Algorithmen, SoSe 19 and SoSe 20, Lab coordination
  • [V/U] Theoretische Informatik I - Modellierung: Automaten und formale Sprachen, WS 16/17 and WS 17/18, Lab coordination
  • [V/P] ATP Construction Project, SoSe 15, Responsible Lecturer (mentored by Prof. Dr. Kreitz )
  • [S] Methoden des automatischen Theorembeweisens, WS 14/15, Responsible Lecturer (mentored by Prof. Dr. Kreitz )
  • [S] Funktionale Programmierung mit Haskell, SoSe 14, Lab coordination