Curriculum Vitae

This is the professional curriculum vitae of Peter Höfner. Information on teaching activities and on his papers can be found elsewhere.

Education

07/2009:	PhD in Computer Science (Dr. rer.-nat.), Universität Augsburg, Germany Algebraic Calculi for Hybrid Systems.
10/2003:	Advanced Degree in Mathematics (major) and Computer Science (minor) (Diplom-Mathematiker), Universität Augsburg, Germany From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus.

Go Up

Positions

Associate Professor, Australian National University, Australia
- since 02/2020
- teaching modules tbd
- supervised BSc/MSc/PhD students
Visiting Scientist, Data61, CSIRO (erstwhile NICTA), Australia
- 02/2020–12/2021
Conjoint Associate Professor, University of New South Wales, Australia
- 01/2018–12/2020
- teaching modules Theory of Computation and Algorithmic Verification
- supervised BSc/MSc/PhD students
Honorary Senior Research Fellow, Macquarie University, Australia
- 02/2018–02/2021
(Senior/Principal) Research Scientist, Data61, CSIRO (erstwhile NICTA), Australia
- 10/2010–01/2020
- member of Software System Research Group
- research: –formalising, analysing and verifying routing and communication protocols
- research: –modelling and verification of (concurrent) software systems
- supervised BSc/MSc/PhD students
Conjoint (Senior) Lecturer, University of New South Wales, Australia
- 02/2011–11/2017
- (co-)teaching modules Theory of Computation and Algorithmic Verification
- supervised BSc/MSc/PhD students
Postdoc in Computer Science, University of Augsburg, Germany
- 07/2009–10/2010
- research: formal foundations of feature-oriented software development (project: FeatureFoundation)
- supervised BSc/MSc students
Visiting Researcher, NICTA, Australia
- 08/2010
- research: formalising, analysing and veriying routing protocols for wireless mesh networks (project: Mesh Protocols)
Visiting Scholar and Teaching Assistant, University of Sheffield, United Kingdom
- 09/2006–08/2007
- teaching module Temporal Logics for Hybrid Systems
- co-teaching modules Aerospace Computing and Machines and Languages
Teaching Assistant, University of Augsburg, Germany
- 12/2003–07/2006
- teachingdifferent seminars
- supervised BSc/MSc students
Research Trainee, Max-Planck-Institute for Plasma Physics, Germany
- 08/2001–09/2001
- software project to support the theory of tokama physics
- implemented numerical algorithms on matrices
Demonstrator, University of Augsburg, Germany
- 10/2000–07/2003
- eekly tutorials for many modules, such as, Analysis I/II, Numerical Mathematics I/II, Theory of Computation
- trained graduate students in numerical mathematics
- marked student assignments and exams

Go Up

Publications

Go Up

Grants & Awards¹

ARC Discovery Grant (submitted): Ensuring Liveness of Distributed Systems
Collaborators: Data61, CSIRO and Eindhoven University
DST_NGTF: Verifying Concurrent Data Structures for Trustworthy Systems (2021-2024)
Collaborators: U Queensland, and DSTG"role: "CI
DST: Automated Verification of Control Protocols with Timed Automata (2019-2021)
Collaborators: U Queensland, Macquarie U, and DST
ARC Discovery Grant: Design and verification of correct, efficient and secure concurrent systems (2019-2022)
Collaborators: U Queensland (PI)
Go8 Australia/DAAD PPP: project: "Algebraic Approaches to Routing Problems" (2015-2017)
Award for Junior Scientists: Universität Bayern e.V. (2nd place, interdisciplinary) (2009)
Research Scholarship: Universität Bayern e.V. (integrated in the Elite Network of Bavaria) (2007-2009)
Research Money for Students
- DAAD RISE worldwide (2011,2012,2014,2015,2016,2017,2018,2019,2020)
- Ecole Polytechnique (2014,2015)
Travel Grants
- Woody Bledsoe Travel Award (2007,2008)
- ERASMUS Teaching Staff Mobility (2007)
- visit the Marktoberdorf Summer School (2006)
- German Research Foundation (DfG) (2005)

Go Up

Professional Services

Journal of Logical and Algebraic Methods in Programming (JLAMP) (Editor)
since: 2016
IFIP Working Group 2.1 on Algorithmic Languages and Calculi (Elected Member)
since: 2014
(chairman since 2020)
IFIP Working Group 2.3 on Programming Methodology (Elected Member)
since: 2019
Models for Formal Analysis of Real Systems (MARS) (Steering Committee)
since: 2015
Relational and Algebraic Methods in Computer Science (RAMiCS) (Steering Committee)
since: 2020

Go Up

Programme Committees

27th Intl. Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Warschaw, Poland, September 2022.
4th Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany, April 2022.
14th Intl. Conference on Mathematics of Program Construction (MPC 2022), Tbilisi, Georgia, September 2022.
42nd Intl. Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Lucca, Italy, June 2022.
15th Intl. Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2021), Beijing, China, November 2021.
19th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), France, 2021.
24th Intl. Symposium on Formal Methods (FM 2021), Beijing, China, November 2021.
27th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Luxembourg, April 2021.
14th Intl. Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020), Xi\'an, China, September 2020.
3rd Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Uupsala, Sweden, April 2020.
18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020), Palaiseau, France, April 2020.
Formal Methods for Industrially Critical Systems (FMICS 2019), Amsterdam, The Netherlands, August 2019.
14th International Conference on integrated Formal Methods (iFM 2018), Maynooth, Ireland, September 2018.
17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), Gronningen, The Netherlands, October 2018.
2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uupsala, Sweden, April 2017.
16th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2017), Lyon, France, May 2017.
Workshop on Models for Formal Analysis of Real Systems (MARS 2015), Suva, Fiji, November 2015.
15th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015), Braga, Portugal, September 2015.
5th Intl. Conference on Ambient Systems, Networks and Technologies (ANT 14), Hasselt, Belgium, June 2014. (Systems Software Engineering track)
14th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS '14), Marienstatt im Westerwald, Germany, April 2014.
3rd Workshop on Rigorous Protocol Engineering (WRiPE'13), Göttingen, Germany, October 2013.
13th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, UK, September 2012.
Workshop on Automated Theory Exploration (ATx 2012), Manchester, July 2012.
Workshop on Automated Theory Engineering (ATE 2011), Wrocław, Poland, July 2011.
12th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Rotterdam, The Netherlands, June 2011.
11th Intl. Conference on Relational Methods in Computer Science / 6th Intl. Conference on Applications of Kleene Algebra (RelMiCS 11/AKA 6), Doha, Qatar, November 2009.
The TPTP World Workshop (TPTPWoWo), Montreal, Canada, August 2009. (cancelled)
Empirically Successful Automated Reasoning for Mathematics (ESARM 2008), Birmingham, UK, July 2008.

Go Up

Reviewing

Reviewer for the following research foundations/bodies:
- Australian Research Council (ARC) (2021)
- Advanced Learning in Evolving Critical Systems (ALECS) fellowship programme (April 2018)
- Natural Sciences and Engineering Research Council of Canada (NSERC) (2018)
- Nokia Foundation (2016)

Reviewer for the following journals (date of last review):
- Scientific Annals of Computer Science (SACS) (December 2021)
- Science of Computer Programming (SCP) (November 2021)
- ACM Digital Threats: Research and Practice (DTRAP) (April 2021)
- Transactions on Embedded Computing Systems (TECS) (March 2021)
- Journal of Logic and Algebraic Methods in Programming (JLAMP) (October 2020)
- Acta Informatica (Acta) (February 2020)
- Transactions on Dependable and Secure Computing (TDSC) (November 2018)
- Transactions on Modeling and Computer Simulation (TOMACS) (May 2018)
- Zentralblatt Math (ZMATH) (Oct 2017)
- Formal Aspects of Computing (FAOC) (March 2017)
- Formal Methods in System Design (FORM) (July 2016)
- Journal of Software: Evolution and Process (JSME) (July 2016)
- Theoretical Computer Science (TCS) (May 2015)
- Information Sciences (INS) (July 2014)
- Journal of Logic and Algebraic Programming (JLAP) (May 2014)
- Transactions on Computational Logic (TOCL) (September 2013)
- Annals of Mathematics and Artificial Intelligence (AMAI) (October 2012)
- AI Communications: The European Journal on Artificial Intelligence (AICOM) (2007)
- European Journal of Combinatorics (EJC) (2006)
- Journal of Graph Algorithms and Applications (JGAA) (December 2003)

Reviewer for the following conferences and workshops (date of last review):
- Intl. Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) (September 2021)
- Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) (July 2021)
- Intl. Conference on Formal Methods (FM) (July 2021)
- Intl. Colloquium on Automata, Languages and Programming (ICALP) (March 2021)
- Annual ACM/IEEE Symposium on Logic In Computer Science (LICS) (March 2021)
- Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (December 2020)
- IEEE Computer Security Foundations Symposium (CSF) (November 2020)
- Models for Formal Analysis of Real Systems (MARS) (February 2020)
- Intl. Conference on Relational and Algebraic Methods in Computer Science (December 2019)
- Symposium on Operating Systems Principles (SOSP) (July 2019)
- Intl. Conference on Formal Methods for Industrial Critical Systems (FMICS) (May 2019)
- Intl. Symposium on Theoretical Aspects of Software Engineering (TASE) (Feb 2019)
- Intl. Conference on integrated Formal Methods (iFM) (June 2018)
- Intl. Symposium on Formal Methods (FM) (March 2018)
- Intl. Conference on Automated Deduction (CADE) (April 2017)
- Intl. Conference on Formal Techniques for Distributed Objects, Components, and System (FORTE) (March 2017)
- Intl. Colloquium on Theoretical Aspects of Computing (ICTAC) (June 2016)
- Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (August 2015)
- Symposium on Dependable Software Engineering (SETTA) (August 2015)
- Intl. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) (March 2015)
- Intl. Conference on Engineering of Complex Computer Systems (ICECCS) (April 2014)
- Intl. Conference on Ambient Systems, Networks and Technologies (ANT) (March 2014)
- Intl. Conference on Application of Concurrency to System Design (ACSD) (March 2014)
- Intl. Workshop on Rigorous Protocol Engineering (W-RiPE) (July 2013)
- Intl. Conference on Certified Programs and Proofs (CPP) (August 2012)
- Intl. Conference on Real-Time and Network Systems (RTNS) (August 2012)
- Intl. Conference on Formal Engineering Methods (ICFEM) (June 2012)
- Workshop on Automated Theory eXploration (ATx) (May 2012)
- Intl. Conference on Mathematics of Program Construction (MPC) (March 2012)
- Workshop on Automated Theory Engineering (ATE) (May 2011)
- Intl. Conference on Concurrency Theory (CONCUR) (May 2010)
- Workshop on Quantitative Formal Methods: Theory and Applications (QFM) (August 2009)
- Intl. Conference on Relational Methods in Computer Science/Intl. Conference on Applications of Kleene Algebra (RelMiCS/AKA) (June 2009)
- Intl. Andrei Ershov Memorial Conference (PSI) (March 2009)
- Empirically Successful Automated Reasoning for Mathematics (ESARM) (June 2008)
- Scandinavian Workshop on Algorithm Theory (SWAT) (March 2004)

Go Up

Conference & Workshop Organisation

European Joint Conferences on Theory and Practice of Software (ETAPS 2020), Ireland, April 2020. (workshop chair)
2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uupsala, Sweden, April 2017. (co-chair)
16th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2017), Lyon, France, May 2017. (co-chair)
Workshop on Models for Formal Analysis of Real Systems (MARS 2015), Suva, Fiji, November 2015. (co-chair)
12th Intl. Symposium on Automated Technology for Verification and Analysis (ATVA 2014), Sydney, Australia, November 2014. (workshop chair)
14th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS '14), Marienstatt im Westerwald, Germany, April 2014. (co-chair)
13th Intl. Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, UK, September 2012. (publicity chair)
Workshop on Automated Theory Exploration (ATx 2012), Manchester, July 2012. (co-chair)
Workshop on Automated Theory Engineering (ATE 2011), Wrocław, Poland, July 2011. (co-chair)

Go Up

Student Supervision

Tina Ji: Partial Order Reduction for Protocols in Uppaal (HSc.), ANU, Australia. 2021. (ongoing)
Weiyou Wang: Justness: Laying the foundations for verifying liveness properties (PhD), Australian National University, Australia. 2020. (ongoing)

Callum Bannister: Forward with Separation Logic (PhD), The University of New South Wales, Australia. January 2019.
Insa Stucke: Verification of Relational Programs Supported by Theorem Provers (PhD), Christian-Albrechts-Universität zu Kiel, Germany. November 2017.

Callum Koh: Mechanising a Translation between Process Algebras in Isabelle/HOL ANU, Australia. 2021.
Anna Moscato: Applying Predicate Transformersfor Concurrency ANU, Australia. 2021.
Ming Xu: Extended Labelled Transition Systems in Isabelle/HOL (computing project), ANU, Australia. 2021.
Xiangyun Kong: User Data Analysis for a Video-Based App (computing project), ANU, Australia. 2021.
Pramo Samarasinghe: Translating Timed Process Algebras (summer intern), ANU, Australia. 2020-21.
Linda Kwan: Analysing Routing Attacks for OSPF in Uppaal (summer intern), ANU, Australia. 2020-21.
Callum Koh: Formalising the Process Algebra mCRL2 in Isabelle/HOL (summer intern), ANU, Australia. 2020-21.
Ranit Bose: Modelling Attacks for Routing Protocols (industrial intern), Data61,CSIRO, Australia. 2020-21.
Tina Ji: Optimising Models for Routing Protocols in Uppaal (industrial intern), Data61,CSIRO, Australia. 2020-21.
Aleksandar Miladinovic: Verifying Properties of the Routing Protocol OSPF (industrial intern), Data61,CSIRO, Australia. 2020-21.
Courtney Darville: Attack Models for the OSPF Routing Protocol (industrial intern), Data61,CSIRO and UNSW, Australia. 2020.
Cameron Pappas: Implementing and Analysing timed Routing Protocols in Isabelle/HOL (industrial intern), Macquarie University, Australia. 2020.
Adam Pam: Modelling Routing Attacks in Uppaal (industrial intern), Macquarie University, Australia. 2020.
Jack Drury: Modelling and Analysing the OSPF Routing Protocol (industrial intern), The University of New South Wales, Australia. 2019-20.
Weiyou Wang: Mechanising ACP in Isabelle/HOL (research project), The University of New South Wales, Australia. 2019.
Weiyou Wang: Modelling and Analysing the OSPF Routing Protocol (industrial intern), The University of New South Wales, Australia. 2019-2020.
Felix Pribyl: From AWN to CakeML (industrial intern), University of Augsburg, Germany. 2019.
Saya Lau: Test-Case Generation for Model-Checking Wireless Mesh Network (research project), The University of New South Wales, Australia. 2019.
Pierre Liorit: Analysing Link Layer Protocols (industrial intern), Ecole Polytechnique, France. 2019.
Ryan Barry: Formal Modelling and Analysis of OLSRv2 (HSc.), The University of New South Wales, Australia. 2019.
Daniel Brownlow: Improving Automatic Translating AWN to Uppaal (industrial intern), The University of New South Wales, Australia. 2018/1.
Filippo De Bortoli: Verifying Liveness Properties of Distributed Systems (industrial intern), European Masters of Logic, University of Dresden, Germany. 2018.
Michael Markl: A Process Algebra for Link Layer Protocols (DAAD rise worldwide), University of Augsburg, Germany. 2018.
Anran Wang: Expressiveness of Process Algebras with Broadcast Mechanisms (DAAD rise worldwide), University of Hamburg, Germany. 2018.
Ryan Barry: Formal Modelling of OLSRv2 (Taste of Research), The University of New South Wales, Australia. 2018.
Djurre van der Wal: Model Checking a Process Algebra for Wireless Mesh Networks with a Formally Validated mCRL2 Back End (MSc.), Uninversity of Twente. July 2018.
Thomas Tang: Different Classes of Topologies and Their Effect on Routing Protocols (HSc.), The University of New South Wales, Australia. July 2018.
Katja Möhring: Automated Translation from the Process Algebra AWN to the Model Checker Uppaal (BSc.), University of Hamburg. October 2017.
Victor Dyseryn: Analysing Mutual Exclusion using Process Algebra with Signals (industrial intern), Ecole Polytechnique, France. 2017.
Bertrand Bevillard: Analysis of Protocols for High-assurance Networks (industrial intern), Ecole Polytechnique, France. 2015.
Katja Möhring: Expressiveness in Slow Petri Nets (DAAD rise worldwide), University of Hamburg, Germany. 2015.
Rafael Blecher: Implementing Secure Protocols for Quadcopters (Taste of Research), UNSW, Australia. 2014/15.
Emile Bres: Timed Process Algebras for Network Protocols (industrial intern), Ecole Polytechnique, France. 2014.
Mojgan Kamali: Modeling and Verifying the OLSR Protocol Using Uppaal (MSc.), University of Agder, Norway. June 2014.
Maryam Kamali: Formal Modelling of Network Topologies (industrial intern), Abo Akademi University, Finland. 2013.
Julian Nickerl: Automatic Transformation from AWN to Uppaal (DAAD rise worldwide), University of Ulm, Germany. 2013.
Lina Gundelwein: Type-Checking for Algebra of Wireless (Mesh) Network (DAAD rise worldwide), . 2013.
Rohan Jacob Rao: Rigour in Network Routing: an Algebraic Model (Taste of Research), UNSW, Australia. 2012/13.
Markus Brenner: Computational Support for Routing Algebra (DAAD rise worldwide), University of Ulm, Germany. 2012.
Patrick Lehner: Automatic Transformation from AWN to Uppaal (DAAD rise worldwide), University of Augsburg, Germany. 2012.
Sarah Edenhofer: Formal Specification of the "Dynamic MANET On-demand" Routing Protocol (DYMO) (BSc.), University of Augsburg, Germany. March 2012. (in German) pdf
Andreas Zelend: Formal Product Families for Abstract Machines (MSc.), University of Augsburg, Germany. November 2010.
Sven Mentl: Requirements in Feature Algebra (MSc.), University of Augsburg, Germany. September 2010. (in German)
Markus Teufelhart: Automatic Normalisation of Algebraic Formulas (BSc.), University of Augsburg, Germany. 2010. (in German)
Stephan Zeissler: Development of a Web-Application for ATP Systems (MSc.), Bonn-Rhein-Sieg University of Applied Sciences, Germany. 2010. (in German, co-supervision with Prof. Dr. M.E. Müller, Hochschule Bonn-Rhein-Sieg)
Stephan Lindner: A Structured Compendium for Infinite Semirings. (MSc.), University of Augsburg, Germany. 2009. (in German)
Yanan Zhong: Development and Implementation of a Database for Proofs generated by Automated Theorem Provers (MSc.), University of Augsburg, Germany. 2009. (in German)
Han Hing Dang: Algebraic Aspects of Separations Logic (MSc.), University of Augsburg, Germany. 2009.
Turki Hatam Bekr: Algebraic Analysis of Multi-Player-Games (MSc.), University of Augsburg, Germany. 2008. (in German)

Go Up

Presentations

Full list of presentations

Go Up

^{1. Note: From 2010&mdsh;2020 I was employee of Data61, CSIRO (formerly NICTA). As such I was not allowed to apply for (academic) grants at Australian research bodies, such as ARC.
↩}
Last update: Jan. 05, 2022

Curriculum Vitae

Education

Positions

Publications

Grants & Awards1

Professional Services

Programme Committees

Reviewing

Conference & Workshop Organisation

Student Supervision

Presentations

Grants & Awards¹