Peter Hoefner

Associate Professor and Associate Director Education

Picture of Peter  Hoefner

Location
CSIT Building 108, Office N234

Email
peter.hoefner@anu.edu.au

Phone
+61 2 6125 0159

Publications
ORCiD
dblp
Google Scholar

Interests#

Research#

My research focuses on applications of formal methods in computer science, including protocol verification, software engineering and hybrid system analysis. Particular focus is given to large-scale case studies; by performing and analysing these case studies, I push formal methods to their current limits and, by doing so, reveal shortcomings and limitations in state-off-the-art technology. The limitations often lead to new scientific research in the foundations of formal methods. A specific focus of my research lies in the theory of concurrent computation, which often builds on algebraic calculi.

  • Formal Models and Calculi for Software Systems
    • specification and verification of protocols (routing and communication)
    • program verification (in particular concurrent systems)
    • trustworthy systems
    • trustworthy systems
  • Mathematical Structures in Computing
    • process algebras
    • program algebras
    • proof automation and mechanisation (applying off-the-shelf theorem provers)

Biography#

Peter Höfner is an Associate Professor at The Australian National University (ANU), Canberra, Australia. Before joining ANU, he was principal research scientist at Data61, CSIRO, Australia’s leading data innovation group, and also conjoint Associate Professor at the University of New South Wales (UNSW) Australia.

His research focuses on applications of formal methods in computer science, including protocol verification, software engineering and hybrid system analysis. Currently the main focus of his research lies on algebraic calculi for these topics.

Peter (co-)authored over 60 refereed papers in international journals and conferences. He is chairman of the IFIP Working Group 2.1 (Algorithmic Languages and Calculi) and elected member of the IFIP Working Group 2.3 (Programming Methodolgy). He serves at the editorial board of the Journal of Logic and Algebraic Methods in Computer Science (JLAMP). For his PhD thesis, titled Algebraic Calculi for Hybrid Systems, he received an award for young researchers of the Universität Bayern e.V.

Activities & Awards#

bars search times arrow-up