Professor Dr. Dirk Beyer

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

ORCID-ID 0000-0003-4832-7662

Projects

As Applicant
- Current projects
  - IDEFIX: Identifying and Fixing Incomplete Patches (Research Grants)
  - Cooperative Software Verification 2 (Research Grants)
  - Bridging Hardware and Software Analysis (Research Grants)
As Spokesperson
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)