Peter Herrmann

Professor Peter Herrmann is affiliated with the Norwegian University of Science and Technology (NTNU), Faculty of Information Technology and Electrical Engineering, Department of Information Security and Communication Technology. He leads research in Intelligent Transport Systems (ITS), model-based engineering, and trust management, with a focus on distributed systems and cyber-physical systems.

• Collaborations: Statens Vegvesen, Jernbaneverket, Telenor, RMIT University, University of Oslo
• Key Projects: IoT-STOP, MobiTrack, SIMS, Arctis, EuroNF, ISIS, iTrust

His Reactive Blocks tool enables formal specification and verification of networked systems, while BeSpaceD specializes in spatiotemporal analysis. Students under his supervision include Ergys Puka (dead spot mitigation), Magnus Oplenskedal (machine learning localization), and Zeeshan Ali Khan (trust-based intrusion detection).

Scientific awards include two best paper awards for collaborative work with RMIT University. His research spans formal methods, security of distributed components, and energy-efficient IoT systems, with over 20 years of contributions from TLA extensions to commercialization of BitReactive.