
Christel Baier 
Curriculum Vitae:
Christel Baier received the PhD degree (1994) and the venia legendi (1999),
both from the Department of Mathematics and Computer Science at the University of Mannheim (Germany).
In 19992006, she was an associate professor for Theoretical Computer Science at the Rheinische FriedrichWilhelms Universität Bonn. Since October 2006, she is a full professor for algebraic and logical foundations of computer science at the Technische Universität Dresden.
Her expertise is on modeling, specification and verification techniques
for reactive systems. In particular, she is interested in algorithms for the
quantitative analysis of stochastic systems,probabilistic model checking,
verification of infinitestate systems, coordination languages, compatibility of components, temporal and modal logics, and automata over infinite structures.
Main 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 infinitestate systems
