Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Ludwig-Maximilians-Universität München
Institut für Informatik
Lehrstuhl für Programmiersprachen und Künstliche Intelligenz (PLAI)

Address Oettingenstraße 67
80538 München
Deutschland

GERiT This institution in GERiT

80538 München

Projects

Research Training Groups
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Spokesperson Beyer, Dirk )

© 2026 DFG Disclaimer / Copyright / Privacy Policy