Homepage of Peter Höfner

A/Prof Höfner is Principal 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 (2019)


Brief Bio

since 2018:Principal Research Scientist, Data61, CSIRO, Australia
since 2018:Conjoint Associate Professor, University of New South Wales, Australia
2010–2018:(Senior) Researcher, Data61, CSIRO (erstwhile NICTA), Australia
2011–2017:Conjoint (Senior) Lecturer, University of New South Wales, 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. R.J. van Glabbeek, P. Höfner, M. Markl: A Process Algebra for Link Layer Protocols. In L. Caires (ed.), Programming Languages and Systems (ESOP'19). Lecture Notes in Computer Science 11423, Springer, 2019.
    doi: 10.1007/978-3-030-17184-1_24
    abstract | pdf | bibtex
  2. R.J. van Glabbeek, P. Höfner: Progress, Justness and Fairness. In ACM Computing Surveys, ACM, 2019. (accepted)
    arXiv: CoRR abs/1810.07414
    abstract | pdf | bibtex
  3. 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, pp. 263-279, Springer, 2018.
    doi: 10.1007/978-3-030-02149-8_16
    abstract | pdf | bibtex
  4. 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
  5. 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
 
1. CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61.

 

internal