![]() |
Prof. Dr. 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
| ||||||||||||||||||||||||||
|
Algebra
Former PhD students Habilitations
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"
LATA 2019
Immanuel Kant University, Kaliningrad, lecture series, 2 weeks,
2009, 2010, 2011, 2014, 2015, 2016, 2017, 2018
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
Postgraduate Program / Graduiertenkolleg Wissensrepräsentation (Uni Leipzig)
Conferences hosted
YuriFest, 2020, Fountainebleau, France
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
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
Vize-Sprecher des DFG Graduiertenkollegs
„Quantitative Logiken und Automaten (QuantLA)”
Direktor des Graduiertenzentrums Mathematik/Informatik und Naturwissenschaften der Research Academy Leipzig
ERASMUS-Beauftragter der Fakultät
Berufungsbeauftragter des Rektorats
Mitglied der Forschungskommission der Universität Leipzig
Mitglied der Graduiertenkommission der Universität Leipzig
Mitglied des Promotionsausschusses Informatik
Mitglied der Prüfungskommission Informatik
Mitglied des Fakultätsrates (2005 - 2013)
|