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 Sichere kognitive Systeme (SKS) im Bremer Labor 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

• aktuelle Kurse und Seminare (Winter 2008/2009)
• studentische Projekte
• Diplomarbeiten

Publikationen und Software

Arbeitsgruppe

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