Dipl.-Math. Peter Höfner

Ph.D. Student

E-mail:	hoefner@informatik.uni-augsburg.de
Tel.:	+49 821 598 - 3109
Fax:	+49 821 598 - 2274
Room:	484 (Building S)
Address:	Universitätsstrasse 1 D-86159 Augsburg, Germany

How to find me: building S at campus, directions.

Research Interests:

• Algebraic Structures and their Applications in Computer Science
• Semirings, Quantales
• Iteration algebras (Kleene algebra, omega algebra)
• Relational calculi
• Feature algebras
• Reactive and Hybrid System
• Algebraic description
• Verification of hybrid systems
• Applying modal and temporal logics

Recent Publications

• An Algebra of Hybrid Systems
  P. Höfner, B. Möller
  Journal of Logic and Algebraic Prpgramming 78, pp. 74-97
  2009.
• Algebraic Neighbourhood Logic
  P. Höfner, B. Möller
  Journal of Logic and Algebraic Programming 76 (Special Issue), pp.35-59.
  2008.
• Algebraic View Reconciliation
  P. Höfner, R. Khedri, B. Möller
  in A. Cerone and S. Gruner (eds.): Software Engineering and Formal Methods (SEFM '08)
  pp. 84-95, 2008.
  IEEE

All Publications

All Technical Reports

Presentations

Membership in Programme Committees

• The TPTP World Workshop (TPTPWoWo)
• Empirically Successful Automated Reasoning for Mathematics (ESARM)

Grants and Awards

• Award for young researchers of the Universität Bayern e.V. (2nd place)
  (interdisciplinary, December 15, 2008)
• Research Scholarship by Universität Bayern e.V.
  (integrated in the Elite Network of Bavaria, Juli 2007 - heute)
• Woody Bledsoe Travel Award 2008
• Woody Bledsoe Travel Award 2007
• travel support by DFG for visiting ESSLLI 2005

Involved Projects:

• FeatureFoundation - Algebra-Based Feature-Oriented Program Synthesis (Feb 2009 - )
• InopSys - Interoperability of Calculi for System Modelling (July 2005 - July 2006)
• P-NEWS (May 2004 - April 2005)