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 |  anzeigen |
Letztes Update
Letztes Update am: 06.07.2016 09:24 CEST