Detailseite
Person
Professorin Dr. Christel Baier
Adresse
Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Algebraische und logische Grundlagen der Informatik
01062 Dresden
-
Als Antragstellerin
-
abgeschlossene Projekte
-
Validation of Stochastic Systems 2 (Sachbeihilfen) -
Computerunterstützte Verifikation mit abstrakten Modellen (Sachbeihilfen)
-
Synthesis and Analysis of Component Connectors (SYANCO) (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Als beteiligte Wissenschaftlerin
-
laufende Projekte
-
EXC 2050: Centre for Tactile Internet with Human-in-the-Loop (CeTI) (Exzellenzcluster (ExStra))
-
-
abgeschlossene Projekte
-
GRK 1763: Quantitative Logiken und Automaten (Graduiertenkollegs)
-
EXC 1056: Zentrum für Perspektiven in der Elektronik Dresden (Exzellenzcluster)
-
-
laufende Projekte
-
Als Teilprojektleiterin
-
laufende Projekte
-
Komposition und Abstraktion mit Erklärungen (Transregios)
-
Interaktive Exploration visueller Modelle (Transregios)
-
abgeschlossene Projekte
-
Analyse und Erklärung dynamischer und hybrider Systeme (Transregios)
-
Probabilistische Kausalität und Erklärungen (Transregios)
-
Formale Methoden für die quantitative Analyse und Optimierung von Energiemodellen (Sonderforschungsbereiche)
-
-
laufende Projekte
