Portrait of Prof. Dr. Markus Holzer, Justus Liebig University Giessen

Theoretical Computer Science

Prof. Dr. Markus Holzer

Professor of Formal Methods at Justus Liebig University Giessen.

Recent publications Get in touch

“Above all, learn theory, otherwise you will remain a practical bungler all your life.”

— August von Berlepsch (1815–1877), zoologist and beekeeper „Vor Allem lernt Theorie, sonst bleibt ihr praktische Stümper euer Leben lang.“

About

I am a professor at the Institute of Computer Science at Justus Liebig University Giessen, Germany. Before Giessen, I held positions at the Technical University of Munich, the Université de Montréal, and the University of Tübingen, where I also received my doctorate (Dr. rer. nat.) in 1998.

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

  • Automata Theory
  • Formal Languages
  • Complexity Theory
  • Descriptional Complexity
  • FUN with Computing

Recent Publications

The ten most recent papers, updated automatically. The complete list is available on:

DBLP ORCID Google Scholar

Teaching

Winter Semester 2026/27

  • Software-Test und Verifikation 2+2 hours/week
  • Proseminar Informatik: Robotersteuerung 2 hours/week
  • Seminar Wissenschaftliches Präsentieren 2 hours/week

Current information is on Stud.IP. Earlier courses are listed in the electronic course catalog.

Office Hours

Office hours are offered regularly. You can also arrange an appointment by email.

See the contact details below.

Contact

Address
Institut für Informatik
Universität Gießen
Arndtstr. 2
35392 Gießen
Germany
Phone
+49 641 99-32150
Secretary
+49 641 99-32141
Fax
+49 641 99-32149
E-Mail
holzer (at) informatik (dot) uni (dash) giessen (dot) de