Winter Semester 2020/2021 at TUM

• Automata and Formal Languages (online)

Summer Semester 2020 at TUM

• Logic (IN2049) (online)

Winter Semester 2019/2020 at TUM

• Automata and Formal Languages