Zur Hauptnavigation springen Direkt zum Inhalt springen

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

Liste der laufenden Graduiertenkollegs

Stand: 15. November 2017

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)
Dr. Andreas Raabe (fachlich)

© 2010-2017 by DFG
Ausdruck aus dem Angebot der DFG (Deutsche Forschungsgemeinschaft)