Christel Baier
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] Baier is the editor-in-chief of Acta Informatica.[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.[4] 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).[5]
Recognition
Baier was elected to the Academia Europaea in 2011.[6]
References
- ^ Birth date from Academia Europaea new member list, 2011, retrieved 2020-10-04
- ^ a b c d Short bio, TU Dresden, retrieved 2020-10-04
- ^ "Editorial board", Acta Informatica, Springer, 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, ISBN 9780262026499
- 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
External links
- Christel Baier publications indexed by Google Scholar
- CS1 maint: untitled periodical
- Articles with short description
- Short description matches Wikidata
- Use dmy dates from October 2020
- Use list-defined references from October 2020
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ORCID identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 1965 births
- Living people
- German computer scientists
- German women computer scientists
- Theoretical computer scientists
- University of Mannheim alumni
- Academic staff of the University of Bonn
- Academic staff of TU Dresden
- Members of Academia Europaea
- All stub articles
- Computer scientist stubs