معرفی
Dieter Hutter is a Professor and Vice Director of the Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI), alongside serving as an Honorary Professor at the University of Bremen. His expertise lies in security, formal methods, and change management.
- Education: Diploma and Dr. rer. nat. in Computer Science from the University of Karlsruhe (1983, 1991)
Research Interests: His work bridges security and formal methods to address challenges in change management, autonomous systems, and maritime IT ecosystems. Projects like Fast&Slow and SATiSFy highlight his focus on integrating symbolic and subsymbolic techniques for safety and security validation.
Project Highlights:
- SecProPort: Scalable security architectures for German port workflows
- SaferApps: Secure integration of foreign software in enterprise systems
- MORES2: Refinement techniques for security requirements in workflows
Leadership & Service: He has served on program committees of major conferences and as a member of the editorial board for the Journal of Applied Logics, and co-initiated the DFG Priority Programme 1496 on Reliably Secure Software Systems.
