Chair for Algebraic and Logical Foundations of Computer Science (Professorship)
Parent Units:Technische Universität Dresden (TUD)
German name: "Professur für Algebraische und logische Grundlagen der Informatik".
Contact
| web: | http://wwwtcs.inf.tu-dresden.de/ALG/ | |
| email: | ||
| phone: | +49 (0)351 463-38549 | |
| fax: | +49 (0)351 463-38348 | |
| postal address: | Technische Universität Dresden (TUD), Chair for Algebraic and Logical Foundations of Computer Science, 01062 Dresden, Germany | |
| office address: | Technische Universität Dresden (TUD), Chair for Algebraic and Logical Foundations of Computer Science, Noethnitzer Strasse 46, 01187 Dresden, Germany | |
| partner: | Technische Universität Dresden |  |
Expertise
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
Affiliations
Parent Units
| name | type | actions |
|---|---|---|
| Institute of Theoretical Computer Science | Institute |  view |
Last Update
Last updated at: 2016-07-06 09:24 CEST