Peter Herrmann

herrmann_004-edit15_300px.jpg

Position: Professor
Office: A 265
Email: herrmann@item.ntnu.no
Phone: +47 73 59 43 27
Mobile: +47 45 39 58 12
Fax: +47 73 59 69 73

Publications are available here. You will also find my NTNU-based publications on Cristin, the research publication index of the Norwegian universities.


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

Projects

  • 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)

Tools

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

Teaching

Master's Course

  • TTM4160 - Design of Reactive Systems 2
  • TTM4526 - Services and Systems Engineering, Specialization Course

Ph.D. Courses