Dr Peter Hoefner

Principal Research Scientist (Data61), Conjoint Associate Professor (UNSW)

Contact details:

Biography

A/Prof Höfner is Senior Research Scientist at Data 61, CSIRO (formerly NICTA) in Sydney, Australia. He is also conjoint Associate Professor at the School of Computer Science and Engineering at The University of New South Wales.

Brief Bio:
-- since 2018: Principal Research Scientist, Data61, CSIRO Australia
-- since 2018: Conjoint Associate Professor, University of New South Wales, Australia
-- 2011–2017: Conjoint (Senior) Lecturer, University of New South Wales, Australia
-- 2010–2018: (Senior) Research Scientist, Data61 (formerly 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)

Teaching

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


Publications

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


Recent Publications

  • C. Bannister, P. Höfner: False Failure: Creating Failure Models for Separation Logic. In J. Desharnais, W. Guttmann, S. Joosten (eds.), Relational and Algebraic Methods in Computer Science (RAMiCS '18). Lecture Notes in Computer Science Springer, 2018.
    doi: 10.1007/978-3-030-02149-8_16
  • R.J. van Glabbeek, P. Höfner, D. van der Wal: Analysing AWN-specifications using mCRL2 (extended abstract). In C.A. Furia, K. Winter (eds.), Integrated Formal Methods (iFM 2018). Lecture Notes in Computer Science 11023, pp. 398-418, Springer, 2018.
    doi: 10.1007/978-3-319-98938-9_23
  • C. Bannister, P. Höfner, G. Klein: Backwards and Forwards with Separation Logic. In J. Avigad, A. Mahboubi (eds.), Interactive Theorem Proving (ITP 2018). Lecture Notes in Computer Science 10895, pp. 68-87, Springer, 2018.
    doi: 10.1007/978-3-319-94821-8_5
  • V. Dyseryn, R.J. van Glabbeek, P. Höfner: Analysing Mutual Exclusion using Process Algebra with Signals. In K. Peters, T. Tini (eds.), Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2017). Electronic Proceedings in Theoretical Computer Science 255, Open Publishing Association, 2017.
    doi: 10.4204/EPTCS.255.2
  • 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
    (last updated 22/10/2018)

Personal Webpage

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