Nach mehr als 10 Jahren Dienst wird das Dresden Technologieportal in naher Zukunft seinen Dienst einstellen.
Auf den Nachfolgedienst werden wir bei Inbetriebnahme hier verweisen.
Bitte aktualisieren Sie hier keine Geräteeinträge mehr, sondern nutzen Sie zukünftig das neue Portal.
Auf den Nachfolgedienst werden wir bei Inbetriebnahme hier verweisen.
Bitte aktualisieren Sie hier keine Geräteeinträge mehr, sondern nutzen Sie zukünftig das neue Portal.
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