Innsbruck
- Summer 24: lecturer for Introduction to Complexity Theory
- Winter 23/24: lecturer for Discrete Structures
- Summer 23: lecturer for Introduction to Complexity Theory
- Winter 22/23: lecturer for Discrete Structures
- Winter 22/23: proseminar teacher for Theoretical Computer Science
- Summer 22: proseminar teacher for Logic in Computer Science
- Summer 22: proseminar teacher for Theoretical Computer Science
- Winter 21/22: proseminar teacher for Discrete Structures
- Winter 21/22: proseminar teacher for Functional Programming
TUM
- Summer 21: organiser of the Functional Pearls seminar
- Winter 20/21: Master of Competition (Sr) for Functional Programming and Verification
- Winter 19/20: Master of Competition (Sr) for Functional Programming and Verification
- Summer 19: tutorial (co-)supervisor for Introduction to Theoretical Computer Science
- Winter 17/18: co-organiser of the Functional Data Structures Seminar and the practical course Specification and Verification
- Summer 16: co-organiser of the Decision Procedures seminar
- Winter 14/15: tutorial (co-)supervisor and proud Master of Competition (Jr) of Introduction to Functional Programming