Peter Herrmann

Professor Department of Telematics

+47 73594327
O. S. Bragstads plass 2, Elektro A*A265

Background and activities

Research topics

  • Model-Based Engineering of Networked Services based on Collaborative Techniques
  • Functional and Security Aspects of Distributed Component-Structured Software
  • Trust Management Issues
  • Formal Specification, Implementation, and Verification of Distributed Systems and Continuous-Discrete Technical Systems


  • UbiCompForAll (Ubiquitous Computing For All Users, 2008-2012)
  • Arctis (Analysis, Refinement, Composition and Transformation of Interactive Services, Verification Project, 2010-2011, extended until 2012) * EuroNF (Network of the Future, 2008-2011)
  • ISIS (Infrastructure for Integrated Services, 2007-2011)
  • SIMS (Semantic Interfaces for Mobile Services, 2006-2008)
  • iTrust (2003-2005)


Reactive Blocks, the tool for engineering networked services. You find more information here.


A comprehensive list of my publications can be found on my homepage.