Teaching

Current

• Course: Principles of Programming Languages    (S2 2021)
• Seminar: Seminar on Modal and Temporal Logics    (S2 2021)
  with: Y. Maruyama, D. Pattinson

Past

• Course: Algorithmic Verification    (T1 2019)
• Course: Algorithmic Verification    (S1 2018)
• Course: Modelling and Verification of Protocols for Wireless Networks    (S1 2017)
• Course: Algorithmic Verification    (S1 2017)
• Course: Algorithmic Verification    (S1 2016)
• Course: Algorithmic Verification    (S1 2015)
• Course: Algorithmic Verification    (S1 2014)
  with: F. Cassez
• Course: Theory of Computation    (S1 2013)
  with: R.J. van Glabbeek
• Course: Algorithmic Verification    (S1 2013)
  with: F. Cassez, R. Huuck
• Course: Comparative Concurrency Semantics    (S1 2012)
  with: R.J. van Glabbeek
• Course: Algorithmic Verification    (S1 2011)
  with: A. Fehnker
• Seminar: Algebraic Semantics in Computer Science    (WS 10/11)
  with: B. Möller
• Seminar: Applications of Epistemic Logic in Computer Science    (SS 10)
  with: B. Möller
• Seminar: Foundations of Automated Reasoning    (WS 09/10)
  with: B. Möller
• Seminar: Foundations for Feature-BasedSoftware Development    (SS 09)
  with: B. Möller
• Course: Machines and Languages    (S1 2007)
  with: G. Struth
• Shortcourse: Temporal Logics for Hybrid Systems    (WS 06/07)
• Course: Aerospace Computing    (S2 2006)
  with: K. Bogdanov
• Seminar: Hybrid Systems    (SS 06)
  with: B. Möller