Christel Baier

Last updated

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]

Contents

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

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


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.