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 Func­tional Pro­gram­ming and Veri­fic­a­tion
• Winter 19/20: Master of Competition (Sr) for Func­tional Pro­gram­ming and Veri­fic­a­tion
• Summer 19: tutorial (co-)supervisor for Introduction to The­or­et­ical Com­puter Science
• Winter 17/18: co-organiser of the Func­tional Data Structures Seminar and the practical course Specification and Veri­fic­a­tion
• Summer 16: co-organiser of the Decision Procedures seminar
• Winter 14/15: tutorial (co-)supervisor and proud Master of Competition (Jr) of In­tro­duc­tion to Func­tional Pro­gram­ming