Forschung

Die ursprünglichen Forschungsgebiete der AG Krieg-Brückner sind Programmiersprachen und Übersetzer, später erweitert durch Entwicklungsumgebungen sowie formale Methoden der Softwaretechnik. Diese Gebiete sind jetzt im Bremer Institut für Sichere Systeme (BISS) zusammengefaßt, das mit insgesamt 5 beteiligten Kolleginnen und Kollegen (Sprecher: Krieg-Brückner) 1995 im Technologie-Zentrum Informatik (TZI) gegründet wurde. Der gemeinsame Akzent der Sicherheit durch den Einsatz von formalen Methoden der Softwaretechnik drückt sich in den Zielen und dem Arbeitsprogram des BISS aus. Wesentlich ist, daß neben der Grundlagenforschung gezielt anwendungsorientierte Forschung in Kooperation mit der Bremer Industrie durchgeführt wird.

Daneben wurde seit 1990 die neue Forschungsrichtung Kognitive Robotik im Zentrum für Kognitionswissenschaften in interdisziplinärer Zusammenarbeit aufgebaut. Mittelfristig ist geplant, beide Forschungsrichtungen unter dem gemeinsamen Aspekt der Sicherheit zusammenzuführen.

Im folgenden sind die Forschungsgebiete und -projekte inhaltlich stukturiert gegliedert.

Formale Methoden und Werkzeuge

Kognitive Robotik

Programmiersprachen

Vollständige Lister aller Forschungsgebiete und -Projekte.