Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Dieter Hutter

Adresse Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Robert-Hooke-Straße 1
28359 Bremen

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Beweisplanen mit Hilfe von Differenz-Reduktionstechniken (Sachbeihilfen)
  - Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung (Schwerpunktprogramme)
  - Ontology-Driven Management of Change (Sachbeihilfen)
  - Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation (Sachbeihilfen)
  - Umsetzung und Erweiterung von Informationsflusskontroltechniken zur Entwicklung sicherer Systeme am Beispiel von Workflow-Systemen (MORES2) (Schwerpunktprogramme)

© 2024 DFG Kontakt / Impressum / Datenschutz