Teaching

I no longer teach, having left academia in 2026. This is a record of my past courses.

Innsbruck

• Constraint Solving
  • Summer 26: lecturer and proseminar teacher
  • Summer 25: proseminar teacher
• Introduction to Complexity Theory
  • Winter 25/26: lecturer
  • Summer 24: lecturer
  • Summer 23: lecturer
• Discrete Structures
  • Winter 25/26: proseminar teacher
  • Winter 24/25: proseminar teacher
  • Winter 23/24: lecturer
  • Winter 22/23: lecturer
  • Winter 21/22: proseminar teacher
• Semantics of Programming Languages
  • Summer 25: lecturer
• (Introduction to) Theoretical Computer Science
  • Winter 24/25: proseminar teacher
  • Winter 22/23: proseminar teacher
  • Summer 22: proseminar teacher
• Logic in Computer Science
  • Summer 22: proseminar teacher
• Functional Programming
  • Winter 21/22: proseminar teacher

TUM

• Functional Programming and Verification
  • Winter 20/21: Master of Competition (Sr)
  • Winter 19/20: Master of Competition (Sr)
• Functional Pearls seminar
  • Summer 21: organiser
• Introduction to Theoretical Computer Science
  • Summer 19: tutorial (co-)supervisor
• Functional Data Structures seminar and practical course Specification and Verification
  • Winter 17/18: co-organiser of the seminar and the practical course
• Decision Procedures seminar
  • Summer 16: co-organiser
• Introduction to Functional Programming
  • Winter 14/15: tutorial (co-)supervisor and proud Master of Competition (Jr)