Dirk Beyer
Full Professor (W3)
Ludwig-Maximilians-Universität München
Germany
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Chinese students reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Educational Technology
Hardware Engineering
Verification And Validation
Verification Engineering
Programming Language
Test Engineering
Test Preparation
Ask ApplyKite AI
Recent Grants
Grant: Close
IDEFIX: Identifying and Fixing Incomplete Patches
Open Date: 2022-01-01
Close Date:
Grant: Close
Cooperative Software Verification
Open Date: 2019-01-01
Close Date:
Grant: Close
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
Open Date: 2019-01-01
Close Date:
Grant: Close
Automated formal methods for reliable software components
Open Date: 2007-04-01
Close Date: 2012-03-31
Articles8
Year:
2022
Collaborators4
Marieke Huisman
University of Twente
Daniel Dietsch
University of Freiburg
Michael Tautschnig
Queen Mary University of London
Matthias Heizmann
Substitute Professor
University of Stuttgart
How do Chinese students reach out?
Sign in for free to see their profile details and contact information.