Loading AI tools
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]
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]
With Joost-Pieter Katoen, Baier is coauthor of the book Principles of Model Checking (MIT Press, 2008).[5]
Baier was elected to the Academia Europaea in 2011.[6]
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
