German Research Center for Artificial Intelligence Bremen
Safe and Secure Cognitive Systems
Research in this group focuses on the development of safe and secure, cognitively adequate technical systems. Our research covers the whole spectrum from foundations to tool and systems development, and is structured in three areas: formal specification technologies, safe and secure systems, and cognitive assistance systems.
The group is directed by Prof. Bernd Krieg-Brückner , and builds on research and development activities of his working group at the University of Bremen, as well as results from the basic research in the Collaborative Research Center Spatial Cognition..