Professur für Algebraische und logische Grundlagen der Informatik
übergeordnete Einrichtungen:Technische Universität Dresden (TUD)
Kontakt
Web: | http://wwwtcs.inf.tu-dresden.de/ALG/ | |
E-Mail: | ||
Telefon: | +49 (0)351 463-38549 | |
Fax: | +49 (0)351 463-38348 | |
Postanschrift: | Technische Universität Dresden (TUD), Professur für Algebraische und logische Grundlagen der Informatik, 01062 Dresden, Germany | |
Besucheradresse: | Technische Universität Dresden (TUD), Professur für Algebraische und logische Grundlagen der Informatik, Noethnitzer Strasse 46, 01187 Dresden, Germany | |
Partner: | Technische Universität Dresden |
Beschreibung
Research Focus:
- modeling, specification and verification of reactive systems
- quantitative analysis of stochastic systems, probabilistic model checking
- coordination languages, compatibility of components
- temporal and modal logics
- automata over infinite structures, game theory
- verification of infinite-state systems
Zugehörigkeit
übergeordnete Einrichtungen
Name |
Typ |
Aktionen |
---|---|---|
Institut für Theoretische Informatik | Institut | ![]() |
Letztes Update
Letztes Update am: 06.07.2016 09:24 CEST