Zur Hauptnavigation springen Direkt zum Inhalt springen

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

Liste der laufenden Graduiertenkollegs

Stand: 11. September 2019

Graduiertenkollegs


Graduiertenkolleg 2428
CONVEY - Continuous Verification of CYber-Physical Systems

Allgemeine Informationen

Ort: München
Laufzeit: seit 2019

Sprecher

Professor Dr. Helmut Seidl
Technische Universität München Lehrstuhl Informatik II: Sprachen, und Beschreibungsstrukturen in der Informatik
Boltzmannstraße 3
85748 Garching

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

Antragstellende Institution

Technische Universität München (TUM)
Arcisstraße 21
80333 München

Mitantragstellende Institution

Ludwig-Maximilians-Universität München
Geschwister-Scholl-Platz 1
80539 München

DFG-Betreuung

Dr. Jürgen Breitkopf (verfahrenstechnisch)
Dr. Andreas Raabe (fachlich)