Professor Dr. Dirk Beyer

Adresse Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstraße 67
80538 München

ORCID-ID 0000-0003-4832-7662

Projekte

Als Antragsteller
- laufende Projekte
  - IDEFIX: Identifizierung und Behebung von wiederkehrenden Softwarefehlern (Sachbeihilfen)
  - Kooperative Softwareverifikation 2 (Sachbeihilfen)
  - Brückenbildung zwischen Hardware- und Software-Analyse (Sachbeihilfen)
Als Sprecher
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)