About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Prof. Christel Baier

Professor for Algebraic and Logical Foundations of Computer Science

Christel Baier
Christel Baier
Christel Baier received the diploma degree in mathematics in 1990 from the University of Mannheim in Germany.

She received the PhD degree (1994) and the venia legendi (1999), both from the Department of Computer Science at the University of Mannheim. In 1999-2006, she has been an associate professor of computer science at the Rheinische Friedrich-Wilhelms Universität Bonn.

From October 2006, she is a full professor for computer science at the Technische Universität Dresden.

Her research interests are the theory of concurrent and reactive systems, specification and modeling formalisms, coordination models, temporal and modal logics, model checking and the quantitative analysis of probabilistic systems.

For further information, see the Web pages of her group.