Christel Baier
Christel Baier (born September 26, 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 at the Faculty of Computer Science.[2] Since the beginning of 2025, she is dean of the Faculty of Computer Science at TU Dresden.[2] From 2015 to 2022, Baier was editor-in-chief of Acta Informatica.[3]
Education and career
[edit]Baier earned a diploma in mathematics at the University of Mannheim in 1990, and stayed at the same university for her graduate studies in computer science, completing her Ph.D. there in 1994.[4] 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
[edit]With Joost-Pieter Katoen, Baier is coauthor of the book Principles of Model Checking (MIT Press, 2008).[6]
Recognition
[edit]Baier was elected to the Academia Europaea in 2011.[7] In 2025, she became member of the Saxon Academy of Sciences and Humanitites[8], and in 2026, she was elected into the German National Academy of Sciences Leopoldina[9].
References
[edit]- ↑ Birth date from Academia Europaea new member list, 2011, retrieved 2020-10-04
- 1 2 3 4 "Christel Baier - Short Bio". TU Dresden. Retrieved 2026-04-20.
- ↑ "Editorial board", Acta Informatica, Springer, retrieved 2020-10-04
- ↑ Short bio, TU Dresden, retrieved 2020-10-04
- ↑ Christel Baier at the Mathematics Genealogy Project
- ↑ Reviews of Principles of Model Checking:
- Ciobanu, Gabriel M. (2008), "Review", ACM Computing Reviews
- Lange, Martin (2010), MathSciNet, MR 2493187
{{citation}}: CS1 maint: untitled periodical (link) - Laroussinie, François (April 2009), The Computer Journal, 53 (5): 615–616, doi:10.1093/comjnl/bxp025
{{citation}}: CS1 maint: untitled periodical (link)
- ↑ "Christel Baier", Member profiles, Academia Europaea, retrieved 2020-10-04
- ↑ "Christel Baier, Prof. Dr. rer. nat. habil". www.saw-leipzig.de. Retrieved 2026-06-18.
- ↑ "Leopoldina: Detail". www.leopoldina.org. Retrieved 2026-06-18.
External links
[edit]- Christel Baier publications indexed by Google Scholar
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
