Liste der laufenden Graduiertenkollegs
Stand: 26. Oktober 2021
Graduiertenkollegs
- Liste der laufenden Graduiertenkollegs
- Detailsicht GRK 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
Aachen
(Bitte richten Sie inhaltliche Fragen direkt an den Sprecher / die Sprecherin des Programms)
Antragstellende Institution
Rheinisch-Westfälische Technische Hochschule Aachen
Aachen
DFG-Betreuung
Dr.
Meike Andermann
(verfahrenstechnisch)
Dr.
Florentin Neumann
(fachlich)