Professor Dr. Johannes Kinder

Address Ludwig-Maximilians-Universität München (LMU)
Institut für Informatik
Lehrstuhl für Programmiersprachen und Künstliche Intelligenz (PLAI)
Oettingenstraße 67
80538 München

Projects

As Participating Researcher
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)