Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig
Supervisor: Prof. Dr. Andreas Maletti

Danny Richter

Room: A 416, Augustusplatz 10
Phone: +49-341-97/32335
E-mail: drichter at


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