Teaching

• Theory of concurrency (winter 2023)
• Languages, automata and computations (summer 2023)
• Languages, automata and computations II (winter 2021, winter 2022)
• Computational complexity (winter 2022)
• Algorithms for Data Science (summer 2021)