|Room:||A 416, Augustusplatz 10|
|E-mail:||drichter at informatik.uni-leipzig.de|
I am a PhD student and research assistant in the department Algebraic and Logic Foundations of Computer Science headed by Andreas Maletti.
In my doctoral studies, I focus on verification problems for systems with counters, for instance model checking one-counter automata for quantitative extensions of linear temporal logic.
This research is funded by the European Social Fund (ESF) of the European Union.
Furthermore, I am associated member of the DFG research training group Quantitative Logics and Automata.
We are currently running a reading group called Advanced Automata Theory.
Institut für Informatik