| Room: | A 416, Augustusplatz 10 |
| Phone: | +49-341-97/32335 |
| 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.
Danny Richter
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany