Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

Current Research Training Groups

Last modified: October 11, 2018

Research Training Groups


Research Training Group 2236
UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic

General Information

City: Aachen
Link:Homepage
Funded: since 2017

Coordinator

Professor Dr. Joost-Pieter Katoen
Rheinisch-Westfälische Technische Hochschule Aachen Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
52056 Aachen

(For more information on the project, please contact the project’s coordinator(s).)

Applicant Institution

Rheinisch-Westfälische Technische Hochschule Aachen
Templergraben 55
52062 Aachen

DFG Contact

Dr. Gerit Sonntag (procedural matters)