Dr Peter Hoefner

Senior Research Scientist (Data61), Conjoint Senior Lecturer (UNSW)

Contact details:


Dr. Höfner is Senior Research Scientist at Data 61, CSIRO (formerly NICTA) in Sydney, Australia. He is also Conjoint Senior Lecturer at the School of Computer Science and Engineering at The University of New South Wales.

Brief Bio:
-- since 2013: Senior Research Scientist Data61 (formerly NICTA), Australia
-- since 2011: Conjoint (Senior) Lecturer, University of New South Wales, Australia
-- 2010–2013: Researcher, NICTA, Australia
-- 2009–2010: Postdoc in Computer Science, University of Augsburg, Germany
-- 2006–2007: Visiting Scholar, University of Sheffield, United Kingdom
-- 2004–2009: PhD in Computer Science, University of Augsburg, Germany
-- 1998–2003: MSc in Mathematics (Diplom), University of Augsburg, Germany

Research Interests

  • Formal Models and Calculi for Software Systems
    -- specification and verification of protocols (routing and communication)
    -- program verification
    -- trustworthy systems
    -- feature-oriented software developmen
  • Mathematical Structures in Computing
    -- process algebras
    -- program algebras
    -- proof automatisation (applying off-the-shelf theorem provers)


Since 2011 at teach regularly at the The University of New South Wales.
The last course given was Algorithmic Verification (S1 2017)


-- Full list of publications
-- List of publications as seen by DBLP
-- List of publications as seen by Google Scholar

Recent Publications

  • R.J. van Glabbeek, P. Höfner: Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. In Models for Formal Analysis of Real Systems (MARS 2017). Electronic Proceedings in Theoretical Computer Science 244, pp. 14-52, Open Publishing Association, 2017.
    doi: 10.4204/EPTCS.244.2
  • R. Berghammer, N. Danilenko, P. Höfner, I. Stucke: Cardinality of Relations with Applications. In Discrete Mathematics 339(12):3089-3115, Elsevier, 2016.
    doi: 10.1016/j.disc.2016.06.019
  • E. Bres, R.J. van Glabbeek, P. Höfner: A Timed Process Algebra for Wireless Networks with an Application in Routing (Extended Abstract). In Programming Languages and Systems (ESOP'16). Lecture Notes in Computer Science 9632, pp. 95-122, Springer, 2016.
    doi: 10.1007/978-3-662-49498-1_5
  • T. Bourke, R.J. van Glabbeek, P. Höfner: Mechanizing a Process Algebra for Network Protocols. In Journal of Automated Reasoning 56(3):309-341, Springer, 2016.
    doi: 10.1007/s10817-015-9358-9
  • R.J. van Glabbeek, P. Höfner, M. Portmann, W.L. Tan: Modelling and Verifying the AODV Routing Protocol. In Distributed Computing, Springer, 2016.

(last updated 30/05/2017)

Personal Webpage

Further information can be found at hoefner-online.de.