Dieter Hutter

Dieter Hutter is a deputy head of the Cyber-Physical Systems research group at DFKI and an honorary professor at the University of Bremen. He obtained his diploma and doctorate in computer science from Karlsruhe Institute of Technology in 1983 and 1991, respectively.

• Education: Diploma (1983), PhD (1991) in Computer Science, University of Karlsruhe

His research focuses on security, formal methods, and change management, with applications to cyber-physical systems, autonomous vehicles, and transportation infrastructure. He develops scalable safety/security analysis techniques and workflow specification refinement methods.

Recent publications span topics in stability verification, modularization of dependency graphs, and secure IT ecosystems in seaports, reflecting his expertise in formal verification and scalable cybersecurity solutions. Keywords include formal methods, autonomous systems, and workflow modeling.

Scientific Leadership and Recognition:

• Co-initiator of DFG Priority Program 1496 - Reliably Secure Software Systems
• Editorial board member of the Journal of Applied Logics
• Active program committee member for international conferences and workshops