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.

ACHTUNG: Seit August 2006 befinden sich unsere Büros im Cartesium in der Enrique-Schmidt-Straße 5 und viele unserer Mitarbeiter haben neue Telefonnummern!

Forschungsgebiete

• Formale Methoden und Werkzeuge
• Kognitive Robotik
• Programmiersprachen

Lehre

• aktuelle Kurse und Seminare (Sommer 2008)
• studentische Projekte
• Diplomarbeiten

Publikationen und Software

Arbeitsgruppe

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