Liste der laufenden Graduiertenkollegs
Stand: 1. Dezember 2022
Graduiertenkollegs
- Liste der laufenden Graduiertenkollegs
- Detailsicht GRK 2236
Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik.
Allgemeine Informationen
| Ort: | Aachen |
| Link: | Homepage |
| Laufzeit: | 2017 - 2026 |
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.
Melanie Melching
(fachlich)