Christel Baier
Prof. Dr. Dr. h. c. Christel Baier
Professor Algebraische und logische Grundlagen der Informatik
- christel.baier@tu-dresden.de
- +49 351 463 38548
- +49 351 463 38348
- APB 3006
Since 2006, Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden. From the University of Mannheim she received her Diploma in Mathematics in 1990, her Ph.D. in Computer Science in 1994, and her Habilitation in 1999. She was an associate professor for Theoretical Computer Science at the University of Bonn from 1999 till 2006. Since September 2022, she holds an honorary doctorate (Dr. rer. nat. h.c.) from RWTH Aachen. She is dean of the Faculty for Computer Science at TU Dresden (2025-2027) and served as vice-dean in the period 2019-2024.
For further information, please visit the personal homepage. For teaching, please refer to the chair's website.
Research Interests:
- modeling, specification and verification of reactive systems
- quantitative analysis of stochastic systems, probabilistic model checking
- coordination languages, compatibility of components
- temporal and modal logics
- automata over infinite structures, game theory
- verification of infinite-state systems
