Prof. Dr. Dr. h.c. Manfred DrosteProfessor at the Institute of Computer Science of the University of Leipzig Head of the Research Group Automata and Formal Languages Director of the Graduate Centre Mathematics, Computer Science and Natural Sciences Vice-speaker of the DFG-Research Training Group Quantitative Logics and Automata Elected to Academia Europaea Honorary doctorate (Dr. h.c.) of Immanuel Kant Baltic Federal University (Kaliningrad, Russia) Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA)
| |||||||||||||||||
|
Algebra
Former PhD students Habilitations
International workshop series "Weighted Automata: Theory and Applications"
funded 2002 jointly with Prof. Dr. Heiko Vogler (TU Dresden) The workshop covers all aspects of weighted automata, ranging from the theory of weighted automata and quantitative logics to applications for real-time systems and natural language processing. The aim is to present tutorials and survey lectures by outstanding scientists in this area,
including technical presentations of participants. The workshop is fee-free and has led to 8 special issues of international journals.
Journal of Automata, Languages and Combinatorics Advances in Computer Science and Engineering (2007-2013) Semantic Structures in Computation (book series), Kluwer Academic Publishers Algebra and Discrete Mathematics (book series), World Scientific Publishers Special issue of "Natural Language Engineering"
Immanuel Kant University, Kaliningrad, lecture series, 2 weeks,
2009, 2010, 2011, 2014, 2015, 2016, 2017, 2018, 2019, 2021
International Fall School in Formal Languages and Applications,
Tarragona, 2011
International Spring School in Formal Languages and Applications,
Tarragona, 2012
DFG-Graduiertenkolleg:
Quantitative Logics and Automata
DFG-Projekt 2019/2020 zum Aufbau internationaler Kooperationen mit Serbien
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
DFG-Graduiertenkolleg "Wissensrepräsentation" (Uni Leipzig)
DFG-Graduiertenkolleg "Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken" (TU Dresden)
Weighted Automata: Theory and Applications
Jewels of Automata: from Mathematics to Applications (AutoMathA 2020/2021/2022)
Theorietag 2021 (Tagung der GI-Fachgruppe "Automaten und Sprachen")
Recent Advances of Quantitative Models in Computer Science
Weighted Automata: Theory and Applications
YuriFest
Conference on Algebraic Informatics (CAI 2019)
Weighted Automata: Theory and Applications
New Pathways between Group Theory and Model Theory
Groups and Topological Groups
ALFA 2015
Jewels of Automata: from Mathematics to Applications (AutoMathA 2015)
Weighted Automata: Theory and Applications Groups and Topological Groups Weighted Automata: Theory and Applications Groups and Model Theory Weighted Automata: Theory and Applications
Groups and Topological Groups
Weighted Automata: Theory and Applications
Theorietag "Automaten und Formale Sprachen"
Weighted Automata: Theory and Applications
Groups and Topological Groups
Weighted Automata: Theory and Applications
Groups and Topological Groups
Weighted Automata: Theory and Applications
EURESCO Conference "Algebra and Discrete Mathematics"
Colloquium
on Ordered Groups
Conference
"Algebra, Model Theory and Theoretical Physics"
Colloquium "Logicum 2000"
Logic and Algebra in Concurrency
AAA60 (Arbeitstagung Allgemeine Algebra)
Traces and Logic
6.GI-Theorietag: "Automaten und Formale Sprachen"
Algebra and Model Theory
Algebra and Model Theory
Dagstuhl seminars organized
Quantitative Models: Expressiveness,
Analysis, and New Applications
Quantitative Models: Expressiveness and Analysis
Logic, Algebra, and Formal Verification of Concurrent Systems
Domain Theory and its Applications
Semantics of Concurrent Systems - Foundations and Applications
Semantics of Programing Languages and Algebra
Semantics of Programing Languages and Model Theory
FSTTCS 2021
Berufungsbeauftragter des Rektorats (2012 - 2023)
Mitglied der Forschungskommission der Universität Leipzig (2014 - 2022)
Mitglied der Graduiertenkommission der Universität Leipzig (2006 - 2022)
Direktor des Graduiertenzentrums Mathematik/Informatik und Naturwissenschaften der Research Academy Leipzig (2014 - 2022)
ERASMUS-Beauftragter der Fakultät (2018 - 2023)
Mitglied des Promotionsausschusses Informatik (2011 - 2019)
Mitglied der Prüfungskommission Informatik (2009 - 2022)
Mitglied der Studienkommission Informatik (2006 - 2009)
Vize-Sprecher des DFG Graduiertenkollegs
„Quantitative Logiken und Automaten (QuantLA)” (2012 - 2022)
Mitglied des Fakultätsrates (2005 - 2013)
|