Prof. Dr. Christel Baier

(*1965)

deutsche Informatikerin

Werdegang & Beitrag:

1990 Diplom in Mathematik an der Universität Mannheim
1994 Doktorarbeit zu dem Thema Transitionssystem- und Baum-Semantiken für CCS im Bereich der Informatik mit summa cum laude an der Universität Mannheim bei Prof. Dr. Mila Majster-Cederbaum
1999 habilitierte Baier an der Universität Mannheim
1999–2006 Associate Professor für Theoretische Informatik an der Rheinischen Friedrich-Wilhelms-Universität Bonn.
2006-bis heute Professorin für Algebraische und Logische Grundlagen der Informatik an der TU Dresden.

Forschungsschwerpunkte:
Modellierung, Spezifikation und Verifikation reaktiver Systeme, die quantitative Analyse von stochastischen Systemen, probabilistisches Model Checking, temporale und modale Logiken, Automaten über infinitären Strukturen, Spieltheorie und die Verifikation von Systemen mit unendlich vielen Zuständen

Auszeichnungen:

Seit 2011 ist sie Mitglied in der Academia Europaea.
2012-2019 gewähltes Mitglied des Review Boards der Deutschen Forschungsgemeinschaft für Informatik.
Seit 2015 ist sie Chefredakteurin der Acta Informatica.
Der in IEEE TSE veröffentlichte Artikel „Model-Checking Algorithms for Continuous-Time Markov Chains“ (2003), den sie mit drei weiteren Kollegen verfasst hat, gehörte 2016 zu den 100 meistzitierten Papieren im Bereich Software Engineering (Platz 74).
2022 Ehrendoktortitel der RWTH Aachen

Manche Veröffentlichungen von Christel Baier finden Sie hier.

Quellen:
https://de.wikipedia.org/wiki/Christel_Baier
https://wwwtcs.inf.tu-dresden.de/~baier/
Photo: Mit freundlicher Genehmigung von Prof. Dr. Baier