Manfred Droste#
| Membership Number: | 2936 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2011 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | http://www.informatik.uni-leipzig.de/~droste |
Present and Previous Positions
- 2004 Full Professor at the Institute of Computer Science, University of Leipzig
- 1993 – 2004 Associate Professor at the Dept. of Mathematics, TU Dresden
- 1991 – 1992 Substitute Professor at the Dept. of Computer Science, University of Dortmund
- 1989 – 1993 Temporary Professor at the Dept. of Mathematics, University of Essen
- 1982 – 1989 Assistant and Lecturer at the Dept. of Mathematics, University of Essen
Fields of Scholarship
- Weighted automata and quantitative logics
- Automata models for concurrency
- Domain theory
- Group theory
- Ordered structures
Honours and Awards
- 2020 Dr. h.c. from Immanuel Kant Baltic Federal University (Kaliningrad, Russia)
- 2018 Visiting professorship (1 month) at ENS Cachan
- 2012 Catedra de Excelencia at URV Tarragona
- 2011 Member of Academia Europaea
- 1996, 1997 Visiting professorships (1 month each) at Université Paris 6 and 7
- 1989 Gottschalk-Diederich-Baedeker prize for habilitation
- 1983 Best dissertation award
- 1982 Minerva prize
