Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Bernd Krieg-Brückner

Adresse Universität Bremen
Fachbereich 03: Mathematik und Informatik
Postfach 330440
28334 Bremen

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Bildfolgenbasierte semilokale 3D Landmarken zur Navigation in dynamischen Umgebungen (Schwerpunktprogramme)
  - Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung (Sachbeihilfen)
  - Formale Fehlerbaumanalyse, Spezifikation und Testen von hybriden Echtzeitsystemen in Anwendung auf die Servicerobotik (Sachbeihilfen)
  - Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1498: Semantische Integration raumbezogener Information (Internationale Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Maps for Robot Navigation (Transregios)
  - Shared-Control Interaction (Transregios)
  - Specification for the Integration of Spatial Concepts (Transregios)
  - A Safe Wheelchair with Driving Assistance (Transregios)
Als Beteiligte Person
- abgeschlossene Projekte
  - Abstraktion und Wiederverwendung von formalen Programmentwicklungen (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz