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.