Homepage of Peter Höfner

A/Prof Höfner is Senior Research Scientist at Data 61, CSIRO (formerly NICTA1) in Sydney, Australia. He is also Conjoint Associate Professor at the School of Computer Science and Engineering at The University of New South Wales.
This web page contains information regarding his research interests, teaching and publications.

Research Interests


Teaching (2018)


Brief Bio

since 2013:Senior Research Scientist, Data61, CSIRO (erstwhile NICTA), Australia
since 2018:Conjoint Associate Professor, University of New South Wales, Australia
2011–2017:Conjoint (Senior) Lecturer, University of New South Wales, Australia
2010–2013:Researcher, NICTA, Australia
2009–2010:Postdoc in Computer Science, University of Augsburg, Germany
2004–2009:PhD in Computer Science, University of Augsburg, Germany
1998–2003:MSc in Mathematics (Diplom), University of Augsburg, Germany

Publications

Recent Publications

  1. 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 11194, Springer, 2018.
    doi: 10.1007/978-3-030-02149-8_16
    abstract | pdf | bibtex
  2. 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
    abstract | pdf | bibtex
  3. 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
    abstract | pdf | bibtex
  4. 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
    abstract | pdf | bibtex
  5. 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
    abstract | pdf | bibtex
 
1. CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61.

 

internal