Christel Baier
Get Christel Baier essential facts below. View Videos or join the Christel Baier discussion. Add Christel Baier to your topic list for future reference or share this resource on social media.
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]


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]


  1. ^ Birth date from Academia Europaea new member list, 2011, retrieved 2020-10-04
  2. ^ a b c d Short bio, TU Dresden, retrieved
  3. ^ "Editorial board", Acta Informatica, Springer, retrieved
  4. ^ Christel Baier at the Mathematics Genealogy Project
  5. ^ Reviews of Principles of Model Checking:
  6. ^ "Christel Baier", Member profiles, Academia Europaea, retrieved

External links

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Music Scenes