Werdegang

Seit 2006 ist Christel Baier Professorin und Leiterin des Lehrstuhls für Algebraische und Logische Grundlagen der Informatik an der Fakultät für Informatik der Technischen Universität Dresden. Sie erwarb ihr Diplom in Mathematik im Jahr 1990 an der Universität Mannheim, promovierte 1994 in Informatik und habilitierte sich 1999. Von 1999 bis 2006 war sie außerordentliche Professorin für Theoretische Informatik an der Universität Bonn. Seit September 2022 trägt sie den Ehrendoktortitel (Dr. rer. nat. h.c.) von der RWTH Aachen.

Forschungsgebiete

• Modellierung, Spezifikation und Verifikation reaktiver Systeme
• Quantitative Analyse von stochastischen Systemen, probabilistisches Model Checking
• Koordinierungssprachen, Kompatibilität von Komponenten
• Temporal- und Modallogik
• Automaten über unendlichen Strukturen, Spieltheorie
• Verifikation von Systemen mit unendlichem Zustandsraum