Baier, Christel
Enlarge text Shrink text-
Personality
|
System number
987007424708405171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Baier, Christel
Date of birth
1965-09-26
Gender
female
MARC
MARC
Other Identifiers
Sources of Information
- Validation of stochastic systems, 2004:t.p. (Christel Baier)
Wikipedia description:
Christel Baier (born September 26, 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science. Since the beginning of 2025, she is dean of the Faculty of Computer Science at TU Dresden. From 2015 to 2022, Baier was editor-in-chief of Acta Informatica.
Read more on Wikipedia >