Zur Hauptnavigation springen Direkt zum Inhalt springen

Logo: Deutsche Forschungsgemeinschaft (DFG) - zur Startseite Deutsche Forschungsgemeinschaft

Liste der laufenden Graduiertenkollegs

Stand: 12. September 2018

Graduiertenkollegs


Graduiertenkolleg 2236
UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic

Allgemeine Informationen

Ort: Aachen
Link:Homepage
Laufzeit: seit 2017

Sprecher

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

(Bitte richten Sie inhaltliche Fragen direkt an den Sprecher / die Sprecherin des Programms)

Antragstellende Institution

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

DFG-Betreuung

Dr. Gerit Sonntag (verfahrenstechnisch)