Weiter zum Inhalt Weiter zur Fußzeile

Prof. Dr. rer. nat. Christel Baier

Person

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

Identifizierungsnummern

ORCID Orcid 0000-0002-5321-9343, Externer Link
Scopus Autor ID 57204676780

Entropic risk for turn-based stochastic games

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dez. 2024, in: Information and computation. 301(2024), Part A, 105214.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

A Spectrum of Approximate Probabilistic Bisimulations

Spork, T., Baier, C., Katoen, J.-P., Piribauer, J. & Quatmann, T., 29 Aug. 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs, Band 311).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Linear dynamical systems with continuous weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 Mai 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, S. 22:1-22:11 11 S. 22. (CPSWeek: Cyber-physical Systems).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Backward Responsibility in Transition Systems Using General Power Indices

Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327 8 S.

Publikation: Beitrag in FachzeitschriftKonferenzartikelBeigetragenBegutachtung

Foundations of probability-raising causality in Markov decision processes

Baier, C., Piribauer, J. & Ziemek, R., 19 Jan. 2024, in: Logical methods in computer science : LMCS. 20, 1, S. 4:1–4:66 66 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung