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

Go Up

Publications

Go Up

Grants & Awards1

Go Up

Professional Services

Go Up

Programme Committees

Go Up

Reviewing

Go Up

Conference & Workshop Organisation

Go Up

Student Supervision

Go Up

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