Manfred Droste is a mathematician and theoretical computer scientist whose research connects algebra, logic and models of computation. He received his PhD at the University of Essen in 1982 and completed his habilitation there in 1988. After academic positions in Essen and Dortmund, he became a professor at TU Dresden in 1993 and joined Leipzig University as a professor in 2004. Leipzig’s current institutional profile lists him as emeritus.
His research spans weighted automata and quantitative logics, algebraic models of concurrent systems, domain theory, model theory, automorphism groups and ordered algebraic structures. Weighted automata give familiar finite-state machines a quantitative interpretation: their transitions carry weights that can represent costs, resource use or probabilities. Algebraic structures such as semirings provide ways to combine those weights. This setting connects questions about computation with the study of formal power series and logical descriptions of quantitative behaviour.
A central contribution, developed with Paul Gastin, is the relationship between weighted automata and weighted monadic second-order logic. Their work extends classical connections between automata and logic to a quantitative setting, characterising automaton behaviours through suitable fragments of weighted logic. With Heiko Vogler, Droste extended this approach to weighted tree automata. His collaborations also examine infinite words, timed systems and more general ways of evaluating weights, showing how the algebra of weights shapes expressive power.
Droste co-edited the Handbook of Weighted Automata with Werner Kuich and Heiko Vogler, published by Springer in 2009. The volume brings together algebraic foundations, recognisability, weighted logics, algorithms and applications, including language processing and probabilistic systems. His mathematical interests are also reflected in the 2017 volume Groups, Modules, and Model Theory: Surveys and Recent Developments, co-edited with László Fuchs, Brendan Goldsmith and Lutz Strüngmann in memory of Rüdiger Göbel.
More recent joint work with Guillermo Badia, Carles Noguera and Erik Paul studies descriptive complexity for weighted computation. Their MFCS 2024 paper, Logical Characterizations of Weighted Complexity Classes, gives logical descriptions of complexity classes defined by weighted Turing machines over arbitrary semirings. It develops quantitative counterparts of classical results connecting computation and logic, including versions of Fagin’s theorem and the Immerman–Vardi theorem under the stated structural and algebraic conditions.
Alongside his research, Droste has helped build an international community around weighted automata. With Heiko Vogler, he established the workshop series Weighted Automata: Theory and Applications (WATA) in 2002. The series brings together foundational work, quantitative logics and applications through tutorials, invited lectures and research presentations. He was elected to Academia Europaea in 2011. Drostefest celebrates this broad scientific career and the collaborations that connect its many themes.
Profile: Leipzig University academic profile.
Career: University of Oxford speaker biography (2013).
Research: Droste’s publication abstracts.
Book: Handbook of Weighted Automata (2009).
Book: Groups, Modules, and Model Theory (2017).
Paper: Logical Characterizations of Weighted Complexity Classes (MFCS 2024).
Research community: Droste’s personal academic webpage.
Membership: Academia Europaea profile.