Universität Leipzig    Institut für Informatik    Automaten und Sprachen
Karin Quaas
Address:    Universität Leipzig
Fakultät für Mathematik und Informatik
Automaten und Sprachen
PF 100920
D-04009 Leipzig
Visit: Augustusplatz 10
Room A418
Phone: +49 341 97 32172 (Office)
+49 341 97 32241 (Secretary)
Fax: +49 341 97 32209
Email: mylastnameATinformatik.uni-leipzig.de
Currently I am working as a deputy professor in the Department for Computing Science at the Carl von Ossietzky Universität Oldenburg. My research interests are real-timed systems and logics, counter automata, and weighted automata. I was head of the DFG-funded research project Verification of Weighted Timed Automata (2001-2014, 2015-2018) and I am associated member of the DFG research training group Quantitative Logics and Automata.
Short CV
My DBLP entry, My own list
Recent Talks
On the Containment Problem for Unambiguous Register Automata. pdf
The complexity of Flat Freeze LTL, CONCUR 2017. pdf
Revisiting Reachability in Timed Automata, LICS 2017. pdf
Synchronizing Data Words for Register Automata, MFCS 2016. pdf
Teaching / Lehre
WS 2018/2019: Vorlesung Theoretische Informatik II (Dep. f. Informatik, Universität Oldenburg)
WS 2018/2019: Vorlesung Verification of Infinite-State Systems (Dep. f. Informatik, Universität Oldenburg)
WS 2015/2016: Automata over Sets with Atoms (Reading Group of the QuantLA Graduiertenkolleg)
SS 2015: Vorlesung Verifikation
WS 2014/15: Übungen zur Vorlesung Logik von Prof. Maletti
SS 2014: Real-timed Automata
SS 2014: Bachelorseminar Automatentheorie: Compilerbau
SS 2013: Real-time Temporal Logics (Reading Group of the QuantLA Graduiertenkolleg)
WS 2012/13: Echtzeitautomaten
WS 2010/11: Übungen zur Vorlesung Automaten und Sprachen von Prof. Droste