Teaching

Course Notes

Course Notes on Automata, Logic and Games

Winter 2024-2025

Seminar in Automata and Formal Languages — 2360833 (This year – Dynamical Systems!)
Int. to Set Theory and Automata for CS — 2340129 (a.k.a. “MATKA”)

Spring 2024

Automata, Logic and Games — 236025

Winter 2023-2024

Seminar in Automata and Formal Languages — 236833 New!
Int. to Set Theory and Automata for CS — 234129 (a.k.a. “MATKA”)

Spring 2023

Automata, Logic and Games — 236025

Winter 2022-2023

Seminar in Automata and Formal Languages — 236833 New!
Int. to Set Theory and Automata for CS — 234129 (a.k.a. “MATKA”)

Spring 2022

Seminar in Automata and Formal Languages — 236833 New!
Int. to Set Theory and Automata for CS — 234129 (a.k.a. “MATKA”)

Spring 2022

Winter 2021-2022

Int. to Set Theory and Automata for CS — 234129 (a.k.a. “MATKA”)

Spring 2021

Int. to Set Theory and Automata for CS — 234129 (a.k.a. “MATKA”)

Winter 2020-2021

Advanced Topics in Formal Verification — 236624 (A course on Automata, Logic, and Games).

Spring 2020

Advanced Topics in Formal Verification — 236624 (A course on Automata, Logic, and Games).