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

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 informatik.uni-leipzig.de

Sprechzeit: nach Vereinbarung

Director of the Graduate Centre Mathematics/Computer Science and Natural Sciences of the Research Academy Leipzig

Vice-speaker of the DFG-Research Training Group Quantitative Logics and Automata

Elected to Academia Europaea (2011)

Administration and Reviewing

Research interests

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

New

• WATA 2018: Weighted Automata: Theory and Applications
• Groups, Modules and Model Theory - Surveys and Recent Developments, in Memory of Rüdiger Göbel (M. Droste, L. Fuchs, B. Goldsmith, L. Strüngmann, eds.), Springer, 2017.
• AutoMathA 2015 – Jewels of Automata: from Mathematics to Applications
• DFG Research Training Group (Graduiertenkolleg): Quantitative Logics and Automata (QuantLA),
  started Oct 2012.
• Handbook of Weighted Automata (M. Droste, W. Kuich, H. Vogler, eds.),
  Monographs in Theoretical Computer Science, Springer, 2009.

 

Team    Priv.-Doz. Dr. Claus Diem    Dr. Stefan Dück    Dr. Doreen Götze    Dr. Karin Quaas    Martin Böhm    Sven Dziadek    Gustav Grabolle    Falco Kirchner    Erik Paul

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

Habilitations    Prof. Dr. Dietrich Kuske    PD Dr. Daniel Kirsten

Publications (for a list click here)

Invited lecture series

• Immanuel Kant University, Kaliningrad, lecture series, 2 weeks, 2009, 2010, 2011, 2014, 2015, 2016, 2017.
• 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

• 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-Leonhard-Euler-Projekt 2018/19 “Mathematische Methoden der Kryptographie und Kodierungstheorie”
• DAAD-Leonhard-Euler-Projekt 2017/18 “Dekodierungsalgorithmen, algebraische Geometrie und Computersicherheit”
• DAAD-Leonhard-Euler-Projekt 2015/16 “Dekodierungsalgorithmen, Computersicherheit, Numerische Methoden”
• 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

• Forum Mathematicum
• Journal of Automata, Languages and Combinatorics
• Information Sciences
• 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

• CTRQ 2018
• LATA 2018
• MFCS 2017
• KIMfest 2017
• CIAA 2017
• CAI 2017 (chair Automata Theory and Logic)
• CTRQ 2017
• DLT 2016
• Int. School-Conf. on Group Theory 2016
• Int. Conf. on Algebra and Logic 2016
• ATA 2016
• CTRQ 2016
• CAI 2015
• CTRQ 2015
• DLT 2015
• AutoMathA 2015
• Highlights 2014
• MFCS 2014
• CIAA 2014
• CSR 2014
• CTRQ 2014
• CSR 2013
• CTRQ 2013
• 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

• YuriFest
  Fountainebleau, 2020
• Conference on Algebraic Informatics (CAI 2019)
  Niš University, Serbia
• Weighted Automata: Theory and Applications
  May 22–26, 2018, Leipzig
• New Pathways between Group Theory and Model Theory
  Feb 1–4, 2016, Mülheim
• Groups and Topological Groups
  July 30–31, 2015, Dresden
• ALFA 2015
  June 15–17, 2015, Bordeaux
• AutoMathA 2015
  May 6–9, 2015, Leipzig
• Weighted Automata: Theory and Applications
  May 5–9, 2014, Leipzig
• Dagstuhl-Seminar "Quantitative Models: Expressiveness, Analysis, and New Applications"
  January 20–24, 2014
• Groups and Topological Groups
  June 7–8, 2013, Leipzig
• Weighted Automata: Theory and Applications
  May 29–June 2, 2012, Dresden
• Groups and Model Theory,
  May 30–June 3, 2011, Mülheim
• Weighted Automata: Theory and Applications
  May 3–7, 2010, Leipzig
• Dagstuhl-Seminar "Quantitative Models: Expressiveness and Analysis"
  January 17–22, 2010
• Groups and Topological Groups
  June 20–21, 2008, Leipzig
• Weighted Automata: Theory and Applications
  May 13–16, 2008, Dresden
• Theorietag "Automaten und Formale Sprachen"
  September 27–29, 2007, Leipzig
• Weighted Automata: Theory and Applications
  March 27–31, 2006, Leipzig
• Groups and Topological Groups
  July 2–3, 2004, Universität Leipzig
• Weighted Automata: Theory and Applications
  June 1–5, 2004, Dresden
• Groups and Topological Groups
  June 27–29, 2002, Dresden
• Weighted Automata: Theory and Applications
  March 4–8, 2002, Dresden
• 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