Christel Baier

Christel Baier is a Full Professor for Algebraic and Logical Foundations of Computer Science at the Faculty of Computer Science, Technical University Dresden. She has held this position since 2006, following her role as Professor for Theoretical Computer Science at Rheinische-Friedrich-Wilhelms Universität Bonn (1999-2006).

Her research focuses on probabilistic systems, modeling and specification formalisms, semantics of coordination languages, probabilistic model checking, quantitative analysis, temporal and modal logics, and automata theory. Her work bridges theoretical computer science with practical applications in system verification and analysis, particularly in developing formal methods for probabilistic and timed systems.

Professor Baier's publications demonstrate consistent contributions to theoretical computer science with a clear trajectory from foundational work in automata theory to applied model checking techniques. Her research shows particular strength in probabilistic verification methods and their application to complex system analysis.

• Award for visiting professor (1 month in both years), CNRS/ENS Cachan, France (2005 and 2006)
• ETAPS Best Theory Paper Award (2008)

Professor Baier has advised numerous PhD students throughout her career, including Alexander Asteroth, Nathalie Bertrand, Marcus Groesser, Verena Wolf, and Frank Ciesinski. She currently supervises 4 PhD students at TU Dresden. She has served as Chair of the examination board for bachelor, master and diploma programs in Computer Science at TU Dresden and has been Principal Investigator for 4 national projects funded by the German Research Foundation (DFG).

Her research group at TU Dresden focuses on advancing formal verification methods for probabilistic systems. She maintains active involvement in the academic community through editorial board membership of the Journal of Universal Computer Science, steering committee participation for major conferences, and extensive program committee service for top-tier theoretical computer science venues.