Arbeitsgruppe Bernd Krieg-Brückner

Die Arbeitsgruppe von Prof. Dr. Bernd Krieg-Brückner gehört zum Fachbereich Mathematik und Informatik (FB 3) der Universität Bremen. Die Gruppe hat den Forschungsbereich Cyber-Physical Systems (CPS, vormals Sichere Kognitive Systeme) des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) gegründet. Die Gruppe ist am DFG-Sonderforschungsbereich SFB/TR 8 Spatial cognition beteiligt.

Forschungsgebiete

• Formale Methoden und Werkzeuge
• Kognitive Robotik
• Programmiersprachen

Lehre

• Kurse und Seminare im Sommer 2013
• studentische Projekte
• Diplomarbeiten

Publikationen und Software

Arbeitsgruppe

• Mitarbeiter
• Kontakt
• Interne Informationen (nur innerhalb des FB 3 zugreifbar)