Scholar
Manfred Droste
Google Scholar ID: RNhcC7UAAAAJ
Professor, Institut für Informatik, Universität Leipzig
Citations & Impact
Citations
1,142
H-index
14
i10-index
22
Publications
20
Co-authors
47
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Elected to Academia Europaea; Honorary doctorate (Dr. h.c.) from Immanuel Kant Baltic Federal University (Kaliningrad, Russia); Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA); Former PhD students and habilitations include many successful researchers in the field; Involved in or led several research projects, including the DFG-Research Training Group Quantitative Logics and Automata; Served on editorial boards of international journals and organized the WATA series of international workshops.
Research Experience
- Professor at the Institute of Computer Science, 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.
Education
- No specific educational background information provided.
Background
- Theoretical computer science, automata theory, logic, algebraic models for concurrent systems, domain theory, model theory, automorphism groups, ordered algebraic structures.
Miscellany
- Contact: [Last name]@informatik.uni-leipzig.de; Office hours by appointment; Delivered invited lecture series at various institutions abroad.
