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
I am heading the DFG-funded project Temporal Logics with Constraints. My research interests are real-timed systems and logics, counter automata, and weighted automata. I am also associated member of the DFG research training group Quantitative Logics and Automata.
Short CV
My DBLP entry
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
Dec 2020: QuantLA Seminar on Good Scientific Practise
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