Karin Quaas
	Address:	Universität Leipzig Fakultät für Mathematik und Informatik Algebraische und logische Grundlagen der Informatik PF 100920 D-04009 Leipzig
	Visit:	Augustusplatz 10 Room A418
	Phone:	+49 341 97 32172 (Office) +49 341 97 32241 (Secretary)
	Email:	mylastnameATinformatik.uni-leipzig.de
About me
	My research interest is the formal verification of infinite state-transition systems, like temporal logics and automata with constraints, real-timed systems and counter systems. I am currently heading the DFG-funded project Temporal Logics over Finite Strings with the Prefix Ordering. Here are my DBLP entry and my short CV.
Teaching WS 2026/2027 (under cyberattack)
	Lecture 03 Verification Infinite-State Systems Ex Sheet 3 Games Solutions to Ex Sheet 2 Verification Infinite-State Systems Ex Sheet 3 Verification Infinite-State Systems