Homepage of Manfred Droste

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

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

Visit: Universität Leipzig Institut für Informatik Johannisgasse 26 (Interim) Room 4-38 04103 Leipzig

Phone:	+49-341-97 32200
	+49-341-97 32241 (Secretary)
Fax:	+49-341-97 32209
E-mail:	droste AT informatik.uni-leipzig.de

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.

New

• DFG Research Training Group (Graduiertenkolleg): Quantitative logics and automata, starting Oct 2012.
• Handbook of Weighted Automata (M. Droste, W. Kuich, H. Vogler, eds.),
  Monographs in Theoretical Computer Science, Springer, 2009.

 

Team    Dr. Gabor Braun    Doreen Götze    Dr. Rolf Hartwig    Dr. Ingmar Meinecke    Vitaly Perevoshchikov    Dr. Karin Quaas    Thomas Weidner

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

Habilitations    HDoz Dr. Dietrich Kuske    PD Dr. Daniel Kirsten

Publications (for complete list click here)

Invited lecture series

• Immanuel Kant University, Kaliningrad, lecture series, 2 weeks, 2009, 2010, 2011.
• International Fall School in Formal Languages and Applications, Tarragona, 2011
• International Spring School in Formal Languages and Applications, Tarragona, 2012

Recent talks (for a list click here)

Projects

• DAAD-Leonhard-Euler-Projekt 2010/2011 "Algorithmen für Modelle in der reinen und angewandten Mathematik"
• DAAD-Leonhard-Euler-Projekt 2011/2012 "Algorithmen für Modelle in der Kodierungstheorie, Kryptographie und Robotik"
• DFG-Projekt 2010/2011 und 2011/2012 zur Initiierung und Intensivierung binationaler Kooperation mit Thailand
• Weighted automata and weighted logics for discrete structures (DFG - German Research Foundation)
• Postgraduate Program / Graduiertenkolleg Wissensrepräsentation (Uni Leipzig)
• Postgraduate Program / Graduiertenkolleg (TU Dresden)

Member of the editorial board of

• Forum Mathematicum
• Journal of Automata, Languages and Combinatorics
• Advances in Computer Science and Engineering
• Facta Universitatis
• Semantic Structures in Computation (book series), Kluwer Academic Publishers
• Algebra and Discrete Mathematics (book series), World Scientific Publishers
• Special issue of "Natural Language Engineering"

Program committee memberships

• DLT 2012
• CTRQ 2012
• Quantitative Logic and Soft Computing 2012
• AFL 2011
• FORMATS 2011
• CTRQ 2011
• DLT 2011
• LATA 2011
• ICALP 2010
• 3rd CTRQ 2010
• Logical Approaches to Barriers in Computing and Complexity 2010

Conferences hosted

• Weighted Automata: Theory and Applications
  May 29 - June 2, 2012, Dresden, Germany
• Groups and Model Theory,
  May 30 - June 3, 2011, Mülheim, Germany
• Weighted Automata: Theory and Applications
  May 3 - 7, 2010, Leipzig, Germany
• Dagstuhl-Seminar "Quantitative Models: Expressiveness and Analysis"
  January 17 - 22, 2010
• Groups and Topological Groups
  June 20 - 21, 2008, Leipzig, Germany
• Weighted Automata: Theory and Applications
  May 13 - 16, 2008, Dresden, Germany
• Theorietag "Automaten und Formale Sprachen"
  September 27 - 29, 2007, Leipzig, Germany
• Weighted Automata: Theory and Applications
  March 27 - 31, 2006, Leipzig, Germany
• Groups and Topological Groups
  July 2 - 3, 2004, Universität Leipzig
• Weighted Automata: Theory and Applications
  June 1 - 5, 2004, Dresden, Germany
• Groups and Topological Groups
  June 27 - 29, 2002, Dresden, Germany
• Weighted Automata: Theory and Applications
  March 4 - 8, 2002, Dresden, Germany
• EURESCO Conference "Algebra and Discrete Mathematics"
  August 18 - 23, 2001
• Colloquium on Ordered Groups
  August 16, 2001
• Conference "Algebra, Model Theory and Theoretical Physics"
  February 9 - 11, 2001
• Dagstuhl-Seminar "Logic, Algebra, and Formal Verification of Concurrent Systems"
  November 26 - December 1, 2000
• Colloquium "Logicum 2000"
  September 22 - 24, 2000
• Logic and Algebra in Concurrency
  September 13 - 16, 2000
• AAA60 (Arbeitstagung Allgemeine Algebra)
  June 22 - 25, 2000