Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

Current Research Training Groups

Last modified: September 15, 2021

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
Aachen

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

Applicant Institution

Rheinisch-Westfälische Technische Hochschule Aachen
Aachen

DFG Contact

Dr. Meike Andermann (procedural matters)