Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

Current Research Training Groups

Last modified: January 13, 2021

Research Training Groups


Research Training Group 2428
CONVEY - Continuous Verification of CYber-Physical Systems

General Information

City: München
Funded: since 2019

Spokesperson

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

(For more information on the project, please contact the project’s coordinator(s).)

Applicant Institution

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

Co-Applicant Institution

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

DFG Contact

Dr. Jürgen Breitkopf (procedural matters)
Dr. Valentina Damerow (scientific matters)