Homepage of Peter Höfner

Peter Höfner is an Associate Professor at the Research School of Computer Science at the Australian National University, Canberra, Australia and a conjoint researcher at Data 61, CSIRO. Additionally, he holds a position as Conjoint Associate Professor at the School of Computer Science and Engineering at The University of New South, Sydney, Australia.
This web page contains information regarding his research interests, teaching and publications.";

Research Interests


Teaching

Currently I do not teach any class. For previous classes taught, see here.

Bio

Peter Hoefner 2011
since 2020: Associate Professor, Australian National University, Australia
since 2020: Visiting Scientist, Data61, CSIRO (erstwhile NICTA), Australia
since 2018: Conjoint Associate Professor, University of New South Wales, Australia
2010–2020: (Senior/Principal) Research Scientist, 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

Publications

Recent Publications

  1. R. Berghammer, H. Hitoshi, W. Guttmann, P. Höfner: Relational Characterisations of Paths. In Journal of Logic and Algebraic Methods in Programming, Elsevier, 2020. (accepted)
    arXiv: CoRR abs/1801.04026
    abstract | bibtex
  2. J. Drury, P. Höfner, W. Wang: Formal Models of the OSPF Routing Protocol. In A. Fehnker, H. Garaval (eds.), Models for Formal Analysis of Real Systems (MARS 2020). Electronic Proceedings in Theoretical Computer Science 316, pp. 72-120, Open Publishing Association, 2020.
    doi: 10.4204/EPTCS.316.4
    abstract | pdf | bibtex
  3. R. Barry, R.J. van Glabbeek, P. Höfner: Formalising the Optimised Link State Routing Protocol. In A. Fehnker, H. Garaval (eds.), Models for Formal Analysis of Real Systems (MARS 2020). Electronic Proceedings in Theoretical Computer Science 316, pp. 40-71, Open Publishing Association, 2020.
    doi: 10.4204/EPTCS.316.3
    abstract | pdf | bibtex
  4. R.J. van Glabbeek, P. Höfner: Progress, Justness and Fairness. In ACM Computing Surveys 52(4):69:1-69:38, ACM, 2019.
    arXiv: CoRR abs/1810.07414 | doi: 10.1145/3329125
    abstract | pdf | bibtex
  5. 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 2019). Lecture Notes in Computer Science 11423, pp. 668-693, Springer, 2019.
    arXiv: CoRR abs/1907.13329 | doi: 10.1007/978-3-030-17184-1_24
    abstract | pdf | bibtex
Last update: May 28, 2020