University of Leipzig / Faculty of Mathematics & Computer Science / Department of Computer Science


Homepage of Manfred Droste

Prof. Dr. Manfred Droste
Head of the Research Group Automata and Formal Languages

Universität Leipzig
Institut für Informatik
PF 100920
04009 Leipzig

Universität Leipzig
Institut für Informatik
Augustusplatz 10   [Neues Augusteum]
Room A 422
04109 Leipzig

Phone:+49-341-97 32200
  +49-341-97 32287 (Secretary)
Fax:+49-341-97 32209
E-mail:droste AT
Sprechzeit: nach Vereinbarung

Elected to Academia Europaea (2011)

Research interests

  • Theoretical Computer Science:
       Automata theory, logic, algebraic models for concurrent systems, domain theory.
  • Algebra:
       Model theory, automorphism groups, ordered algebraic structures.


   Dr. Peter Leupold
   Dr. Karin Quaas
   Stefan Dück
   Doreen Heusel
   Thomas Weidner
   Parvaneh Babari
   Vitaly Perevoshchikov
         Former PhD students
   Dr. Kay Nüßler
   HDoz Dr. Dietrich Kuske
   Dr. Paolo Boldi (Milano)
   Dr. Ralph Kummetz
   Dr. Ingmar Meinecke
   Dr. Ina Fichtner
   Dr. Christian Mathissen
   Dr. Karin Quaas

   HDoz Dr. Dietrich Kuske
   PD Dr. Daniel Kirsten
Publications (for complete list click here)

Invited lecture series

Recent talks (for a list click here)


  • DFG-Graduiertenkolleg: Quantitative Logics and Automata
  • DFG - Weighted automata and weighted logics for discrete structures (DFG - German Research Foundation)
  • DFG-Projekt 2014/2015 zum Aufbau internationaler Kooperationen mit China
  • DAAD-Hungarian project 2014-2015 "Theory and Applications of Automata"
  • DAAD-Leonhard-Euler-Projekt 2013/2014 "Algorithmen für Realzeitsysteme und in der Kryptographie"
  • DAAD-Leonhard-Euler-Projekt 2011/2012 "Algorithmen für Modelle in der Kodierungstheorie, Kryptographie und Robotik"
  • DAAD-Leonhard-Euler-Projekt 2010/2011 "Algorithmen für Modelle in der reinen und angewandten Mathematik"
  • DFG-Projekt 2010/2011 und 2011/2012 zur Initiierung und Intensivierung binationaler Kooperation mit Thailand
  • Postgraduate Program / Graduiertenkolleg Wissensrepräsentation (Uni Leipzig)

Member of the editorial board of

Program committee memberships

Conferences hosted

Conferences before 2000 (for a list click here)

   last modified: December 19, 2013