DFKI-Labor Bremen
Sichere Kognitive Systeme
Der Fokus der Arbeiten in der Forschungsgruppe ist die Entwicklung sicherer und kognitiv adäquater technischer Systeme. Unsere Forschung umfaßt das gesamte Spektrum von der Grundlagenforschung bis hin zur Werkzeug- und Systementwickung, und gliedert sich in die Bereiche formale Spezifikationstechnologien, sichere Systeme und kognitive Assistenzsysteme.
Der Forschungsbereich wird geleitet von Prof. Bernd Krieg-Brückner, und baut auf einerseits auf den bisherigen Forschungs- und Entwicklungsaktivitäten an der Arbeitsgruppe (z.B. im Bremer Institut für Sichere Systeme) an der Universität Bremen, und andererseits auf Ergebnissen aus der Grundlagenforschung im Sonderforschungsbereich Spatial Cognition.