Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Algebraische und logische Grundlagen der Informatik

Address 01062 Dresden
Deutschland

GERiT This institution in GERiT

01062 Dresden

Projects

Research Grants
- Completed projects
Collaborative Research Centres
- Completed projects
  - Formal Methods for Quantitative Analysis and Optimization of Energy Models
    (Project Head Baier, Christel )
CRC/Transregios
- Current projects
  - Composition and Abstraction with Explications
    (Project Heads Apel, Sven ; Baier, Christel ; Gaggl, Sarah Alice ; Hermanns, Holger )
  - Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication
    (Project Heads Baier, Christel ; Majumdar, Rupak ; Ouaknine, Joël )
  - Interactive Exploration of Visual Models
    (Project Heads Baader, Franz ; Baier, Christel ; Dachselt, Raimund )
- Completed projects
  - Analysing and Explicating Dynamical and Hybrid Systems
    (Project Heads Baier, Christel ; Ouaknine, Joël )
  - Probabilistic Causality and Explications
    (Project Heads Baier, Christel ; Finkbeiner, Bernd ; Majumdar, Rupak )
Research Training Groups
- Completed projects
  - GRK 1763: Quantitative Logics and Automata
    (Spokesperson Baader, Franz )
  - GRK 1907: RoSI: Role-based Software-Infrastructures for Continuous-Context-Sensitive Systems
    (Spokesperson Lehner, Wolfgang )
Clusters of Excellence (ExStra)
- Current projects
  - EXC 2050: Centre for Tactile Internet with Human-in-the-Loop (CeTI)
    (Spokespersons Fitzek, Frank Hanns Paul ; Li, Ph.D., Shu-Chen ; Strufe, Thorsten )
Clusters of Excellence
- Completed projects
  - EXC 1056: Center for Advancing Electronics Dresden (cfAED)
    (Spokesperson Fettweis, Gerhard P. )

© 2024 DFG Disclaimer / Copyright / Privacy Policy