Project Details
Person
Professor Dr. Jürgen Giesl
Address
Rheinisch-Westfälische Technische Hochschule Aachen
Lehr- und Forschungsgebiet Informatik II
- Programmiersprachen und Verifikation -
52056 Aachen
-
As Applicant
-
Completed projects
-
Verification of imperative programs (Research Fellowships)
-
Automated Termination and Complexity Analysis of Imperative Programs (Research Grants)
-
-
Completed projects
-
As Participating Researcher
-
Current projects
-
GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (Research Training Groups)
-
-
Current projects
