Christel Baier#
| Membership Number: | 2960 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2011 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | 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
