Christel Baier#

Christel Baier
Email:baier 'at' tcs.inf.tu-dresden.de
Membership Number:2960
Membership type:ORDINARY
Main Country of Residence:GERMANY
Section:INFORMATICS
Username:cbaier
Homepage: http://wwwtcs.inf.tu-dresden.de/~baier



Present and Previous Positions
  • Since 2006 Full professor (W3) for Algebraic and Logical Foundations of Computer Science, Technical University Dresden
  • 1999-2006 Professor (C3) for Theoretical Computer Science, Rheinische-Friedrich-Wilhelms Universität Bonn
  • Winter term 1998/99 Substitute professor for Computer Science, Universität Trier
  • 1994-1999 Research assistant (C1) at the Department for Mathematics and Computer Science, Universität Mannheim
  • 1990-1994 Research assistant, Department for Mathematics and Computer Science, Universität Mannheim

Fields of Scholarship
  • Particular probabilistic systems
  • Modeling and specification formalisms
  • Semantics of coordination languages
  • (Probabilistic) model checking
  • Quantitative analysis
  • Temporal and modal logics
  • Automata theory

Honours and Awards
  • 2005 and 2006 Award for visiting professor (1 month in both years), CNRS/ENS Cachan, France


Imprint Privacy policy « This page (revision-7) was last updated on Tuesday, 1. September 2015, 11:36 by Majkowska Katarzyna
  • operated by