Christel Baier

Christel Baier is a full professor and head of the Chair for Algebraic and Logical Foundations of Computer Science at TU Dresden since 2006. She holds a Diploma in Mathematics (1990), PhD (1994), and Habilitation (1999) from the University of Mannheim. Previously, she was an associate professor at the University of Bonn (1999–2006). She serves as Dean of the Faculty of Computer Science at TU Dresden (2025–2027) and has held leadership roles including Vice-Dean (2019–2024).

Her research focuses on formal methods, probabilistic systems, and verification, with notable contributions in probabilistic model checking, temporal logics, and automata theory. She has received prestigious awards such as the Honorary Doctorate from RWTH Aachen (2022) and the Jean-Claude Laprie Award (2023). She leads major projects like SEMECO (Zukunftscluster) and contributes to initiatives like the Collaborative Research Center for Tactile Internet. Her editorial roles include editorship of Acta Informatica and ACM SIGLOG News.

Baier's work bridges theoretical foundations with practical applications in system dependability and software engineering. She actively participates in international conferences and program committees, emphasizing the synthesis and analysis of component-based systems.