Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

banner: Kopfbereich DFG2020 Logo - englisch Because research matters

Current Research Training Groups

Last modified: May 26, 2020

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

Spokesperson

Professor Dr. Joost-Pieter Katoen
Rheinisch-Westfälische Technische Hochschule Aachen Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
Ahornstraße 2
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. Meike Andermann (procedural matters)
Dr. Florentin Neumann (scientific matters)