معرفی
Dr. Peter Hoefner is an Associate Professor and Associate Director of Education at the School of Computing, Australian National University (ANU). He specializes in formal verification, secure systems, and concurrency, with a focus on ensuring software reliability through rigorous mathematical methods. His leadership oversees 80+ courses, 3,700+ students, and multi-million-dollar education programs, achieving 100% student satisfaction in 2024 and successful ACS reaccreditation.
His research addresses protocol modeling, distributed systems, and high-assurance systems, with major contributions including the AWN formal modeling language and verification of protocols like AODV. He secured $1.5M in funding and led DARPA’s HACMS program, earning a Game Changer Award (2023). Professional roles include Vice Chair of IFIP TC2, Chair of IFIP Working Group 2.1, and editor of the Journal of Logical and Algebraic Methods in Programming.
- Key achievements: Exposed vulnerabilities in AODV, developed formal methods for concurrent systems, and advanced cybersecurity practices globally.
- Grants: $4.5M HACMS program leadership, multiple competitive grants as Chief Investigator.
- Education leadership: Curriculum redesign, operational efficiency improvements, and staff coordination across 40+ academic and 180+ casual staff.
His work bridges academia and industry, influencing cybersecurity standards and government projects. Current focus includes advancing algebraic methods and strategic rewriting frameworks.
