Zur Hauptnavigation springen Direkt zum Inhalt springen

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

Liste der laufenden Graduiertenkollegs

Stand: 1. Dezember 2022

Graduiertenkollegs


Graduiertenkolleg 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)