Homepage of Manfred Droste

 
Prof. Dr. nat. habil. 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

Research interests

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

New

• Handbook of Weighted Automata (M. Droste, W. Kuich, H. Vogler, eds.),
  Monographs in Theoretical Computer Science, Springer, 2009.

 

Team    Dr. Rolf Hartwig    Dr. Ingmar Meinecke    MSc 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

Habilitations    HDoz Dr. Dietrich Kuske    PD Dr. Daniel Kirsten

Publications (for complete list click here)

Projects

• 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

• ICALP 2010
• 3rd CTRQ 2010
• Logical Approaches to Barriers in Computing and Complexity 2010
• 5Th ISDT 2009
• 2nd CTRQ 2009
• Algebraic Informatics 2009

Conferences hosted

• 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