Manfred Droste

Manfred Droste is a Professor at the Institute of Computer Science at the University of Leipzig since 2004. He previously held positions at TU Dresden, University of Dortmund, and University of Essen.

• Research interests: Automata theory, logic, algebraic models for concurrent systems, domain theory, and model theory.
• Key affiliations: Academia Europaea member (2011), Vice-speaker of DFG-Research Training Group 'QuantLA'
• Supervised 8 PhD students including Dietrich Kuske (TU Ilmenau) and Paolo Boldi (University of Milano)

Recent Publications focus on weighted automata, formal power series, and quantitative logics with applications in real-time systems and XML processing.

• 2020: Dr. h.c. from Immanuel Kant Baltic Federal University
• 2018: Visiting professorship at ENS Cachan
• 2012: Catedra de Excelencia at URV Tarragona

Active in conference organization including 17 international workshops and 6 Dagstuhl seminars. Editorial board member for multiple journals including Journal of Automata, Languages and Combinatorics and Forum Mathematicum. Leads research projects with DFG and DAAD funding including international collaborations in China, Serbia, and Thailand.