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
