Associate Professor Peter Hoefner
ANU College of Engineering, Computing and Cybernetics
Projects and Grants
Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.
- Verifying Concurrent Data Structures for Trustworthy Systems (Primary Investigator)
- Automated Verification of Control Protocols with Timed Automata (Extension 2020 2021) (Primary Investigator)