Prof. Dr. Christel Baier Chair of Algebraic and Logic Foundations of Computer Science

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 since 2006. 

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 to 2006. Since 2012 she is a member of the DFG review board for computer science. Since 2011 she is a member of Academia Europa.

Her research focuses on

• 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

Further information:

• Contact information
• Publications
• Committees
• Invited Talks
• Teaching