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
Research
I am postdoc in the research group Automata and Formal Languages headed by Manfred Droste. My research interests are real-timed systems and logics, counter automata, and weighted automata. I am also the head of the DFG-funded research project Verification of Weighted Timed Automata and associated member of the DFG research training group Quantitative Logics and Automata.
Short CV
Publications
My DBLP entry, My own list
Recent Talks
Revisiting Reachability in Timed Automata, LICS 2017. pdf
Synchronizing Data Words for Register Automata, MFCS 2016. pdf
Formalisms for Data Languages, Part I: Register Automata and Freeze LTL. QuantLA Springschool, May 2016. pdf
Teaching / Lehre
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