Detailseite

Professor Dr. Wolfgang Thomas

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
Ahornstraße 55
52074 Aachen

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation (Schwerpunktprogramme)
  - Games for Analysis and Synthesis of Interactive Computational Systems (GASICS) (Sachbeihilfen)
Als Sprecher
- abgeschlossene Projekte
  - GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn) (Graduiertenkollegs)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 357: Effiziente Algorithmen und Mehrskalenmethoden (Graduiertenkollegs)
  - EXC 89: Universaler mobiler Zugang zu Information und Kommunikation (Exzellenzcluster)
Als Beteiligte Person
- abgeschlossene Projekte
  - Algorithmische Theorie der Baumautomaten (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Wolfgang Thomas

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Wolfgang Thomas

Zusatzinformationen

Textvergrößerung und Kontrastanpassung