Christel Baier (born 26 September 1965)[1] is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science.[2] Since the beginning of 2025, she is dean of the Faculty of Computer Science at TU Dresden.[3] From 2015 to 2022, Baier was editor-in-chief of Acta Informatica.[4][3]

Education and career

Baier earned a diploma in mathematics at the University of Mannheim in 1990, and stayed at the same university for graduate study in computer science, completing her Ph.D. there in 1994.[2] Her dissertation, Transitionssystem- und Baum-Semantiken für CCS, was supervised by Mila Majster-Cederbaum.[5] She earned a habilitation at Mannheim in 1999.[2]

She became an associate professor for computer science at the University of Bonn in 1999, and moved to TU Dresden as a professor in 2006.[2]

Book

With Joost-Pieter Katoen, Baier is coauthor of the book Principles of Model Checking (MIT Press, 2008).[6]

Recognition

Baier was elected to the Academia Europaea in 2011.[7]

References

  1. ^ Birth date from Academia Europaea new member list, 2011, retrieved 2020-10-04
  2. ^ "Short bio", TU Dresden, retrieved 2020-10-04
  3. ^ "Christel Baier - Short Bio". TU Dresden. Retrieved 2026-04-20.
  4. ^ "Editorial board", Acta Informatica, Springer, retrieved 2020-10-04
  5. ^
  6. ^ Reviews of Principles of Model Checking: *Ciobanu, Gabriel M. (2008), "Review", ACM Computing Reviews, ISBN 9780262026499 *Lange, Martin (2010), "none", MathSciNet, MR 2493187 *Laroussinie, François (April 2009), "none", The Computer Journal. 53 (5): 615–616, doi:10.1093/comjnl/bxp025
  7. ^ "Christel Baier", Member profiles, Academia Europaea, retrieved 2020-10-04