Regular biography
Peter Hoefner is a Professor at the Australian National University (ANU) in the School of Computing. His research focuses on software trustworthiness, concurrency, and formal verification, with an emphasis on ensuring software reliability, security, and correctness through mathematically rigorous methods. He has contributed to major research initiatives, including DARPA’s HACMS program, and has developed innovative approaches to protocol modeling and secure systems. As Associate Director of Education at ANU’s School of Computing, he oversees over 80 courses and 3,700 students per semester, enhancing curriculum quality and student engagement. His work has influenced industry practices and government-funded research in cybersecurity and trustworthy computing.