Detailseite

Professor Dr. Jürgen Giesl

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Lehr- und Forschungsgebiet Informatik II
- Programmiersprachen und Verifikation -
52056 Aachen

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Verifikation imperativer Programme (Forschungsstipendien)
  - Automatische Terminierungsanalyse für funktionale, imperative und logische Programmiersprachen (Sachbeihilfen)
  - Automatische Terminierungs- und Komplexitätsanalyse imperativer Programme (Sachbeihilfen)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (Graduiertenkollegs)

Servicenavigation

Hauptnavigation

Professor Dr. Jürgen Giesl

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Jürgen Giesl

Zusatzinformationen

Textvergrößerung und Kontrastanpassung