About Me
I am a professor at the Institute of Computer Science at Justus Liebig University Giessen, Germany. Prior to joining Giessen, I held positions at the Technical University of Munich (TUM), Université de Montréal (UdeM), and the University of Tübingen.
Moreover, I am Editor-in-Chief of the Journal of Automata, Languages and Combinatorics (formerly Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung und Kybernetik) and SC-chair of the Conference on Implementation and Application of Automata (CIAA).
Research Areas
Publications
A complete list of my publications can be found on:
Recent Publications
Loading recent publications…
Teaching
Winter Semester 2026/27:
- Software-Tes und Verifikation (2+2 hours/week)
- Proseminar Informatik: Robotersteuerung (2 hours/week)
- Seminar Wissenschaftliches Präsentieren (2 hours/week)
Current information can be found on Stud.IP.
For courses from previous semesters, please visit the electronic course catalog.
Office Hours
Office hours are offered regularly. Another option is to arrange an appointment by email.
Contact information can be found on the right side of this page.
About the Banner Image
The banner image shows part of the blackboard after a research session together with Stefan Schwoon in summer 2001. This research led to the following publication on the complexity of the Atomix problem:
The above motto is a literal translation of the German phrase "Vor Allem lernt Theorie, sonst bleibt ihr praktische Stümper euer Leben lang" by Freiherr August Sittich Eugen Heinrich von Berlepsch (1815-1877), zoologist and beekeeper.