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

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.J. van Glabbeek, P. Höfner, R. Horne: Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. In Logic in Computer Science (LICS 2021). IEEE, 2021.
    arXiv: CoRR abs/2104.14226
    abstract | pdf | bibtex
  2. R. Bird, J. Gibbons, R. Hinze, P. Höfner, J. Jeuring, L. Meertens, B. Möller, C. Morgan, T. Schrijvers, W. Swierstra, N. Wu: Algorithmics. In IFIP Advances in Information and Communication Technology, Springer, 0. (accepted)
    abstract | pdf | bibtex
  3. R. Berghammer, H. Hitoshi, W. Guttmann, P. Höfner: Relational Characterisations of Paths. In Journal of Logic and Algebraic Methods in Programming 117, Elsevier, 2020.
    arXiv: CoRR abs/1801.04026 | doi: 10.1016/j.jlamp.2020.100590
    abstract | pdf | bibtex
  4. 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
  5. 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
Last update: Jun. 05, 2021