Dr. Peter Höfner

researcher

E-mail:	hoefner@informatik.uni-augsburg.de
Fax:	+49 821 598 - 2274
Room:	2047 (building N)
Address:	Universitätsstrasse 6a D-86159 Augsburg, Germany

How to find me: building N 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 Systems
• 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 Programming 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

Some Presentations given

Membership in Programme Committees

• 11th International Conference on Relational Methods in Computer Science (RelMiCS 11) and
  6th International Conference on Applications of Kleene Algebra (AKA 6)
• 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)
  press release (in German)
• 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)