Teaching

I have been a teaching assistant for the following courses:

• Automata Theory and Computability, E0-222, autumn 2018
• Formal Methods in Software Engineering, E0-272, winter 2017
• Automata Theory and Computability, E0-222, autumn 2016
• Algorithms and Programming, UE-101, autumn 2016
• Automata Theory and Computability, E0-222, autumn 2015