Skip to main content Skip to main navigation

Prof. Dr. Dieter Hutter

Organizational unit Cyber-Physical Systems
Contact +49 421 218 59831 (Bremen)

http://www.dfki.de/~hutter
Address (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 528359 Bremen

Publications

All publications

Profile

Dieter Hutter is vice director of the Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) and Honorary Professor at the Bremen University. He received the Diploma and Dr. rer. nat. degrees in computer science from the University of Karlsruhe, Germany, in 1983 and 1991, respectively. He works in the areas of security, formal methods and change management.

Dieter Hutter has been and still is a member of the Program Committees of numerous conferences and workshops and member of the editorial board of the Journal of Applied Logics, and co-initiator of the DFG Priority Programme 1496 on Reliabably Secure Software Systems.

  • InfraSLL

    Infrastruktur für Smartport Living Lab (DFKI)

    Das bremische Programm für den Europäischen Fonds für Regionale Entwicklung (ERFE) 2021-2027 hat in seinem Operationellen Programm das Politische Ziel „Ein wettbewerbsfähigeres und intelligenteres…

    InfraSLL
  • InSPoC-3

    InSPoC-3

    In-Space Proof-of-Concept 3 is the third milestone in ESA’s in-space transportation roadmap, aiming at demonstrating the key enabling capabilities for on-board & shared intelligence, culminating at an…

    InSPoC-3
  • RESI-TSN

    Resiliente intelligente TSN-Netzwerke

    Als eine Reihe von neuen Ethernet-Unterprotokollen zur Behandlung von Echtzeitanforderung, ermöglicht es Time Sensitive Networking (TSN) sowohl Standard IP-basierte Datenverkehre als auch…

    RESI-TSN
  • Fast&Slow

    Combination of Symbolic and Subsymbolic Methods

    Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable

    statement can be made about their correctness. In contrast,…

    Fast&Slow
  • SecProPort

    Scalable Security Architectures for Commercial Workflows in German Harbors

    Modern sea as well as domestic ports are more and more controlled by IT-systems. Each of the players involved in port operations (like terminal operator, shipping companies, forwarder, port…

    SecProPort
Show all projects