Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Jürgen Giesl

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Forschungsgruppe 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)

© 2026 DFG Kontakt / Impressum / Datenschutz