Inhalt Forschungsthemen

Formale Methoden der Softwaretechnik

• Common Framework Initiative (CoFI)
• DFG Projekt EXSPEC
• ESPRIT Basic Research WG COMPASS und COMPASS II
• IFIP Working Group 14.3
• Logik-Graph
• Multi-Logik Systeme
• Programmtransformation
• Spezifikationssprache SPECTRAL
• CoFI (externer Link)

Entwicklungsumgebungen für Formale Methoden

• BMBF Projekt UniForM Workbench
• BMFT Verbundprojekt KORSO (Korrekte Software)
• Doktorandenstipendienprogramm Sichere Systeme
• ESPRIT Projekt PROSPECTRA
• Universelles Graph-Visualisierungssystem daVinci

Programmiersprachen und Werkzeuge

• Attributierungen
• Breitbandsprachen
• Formale Semantik
• Funktional-Logische Programmiersprachen
• Funktionale Programmiersprachen
• Funktionale und Objekt-Orientierte Programmiersprachen
• Programmiersprache Ada
• Spezifikationssprache ANNA (Annotated Ada)
• Sprachvergleich und Querübersetzung
• Systemimplementierungssprachen
• Termersetzung, Graphersetzung
• Unifikation, Matching
• Spezifikationssprache SPECTRAL
• Common Framework Initiative zur Standardisierung einer Familie von Spezifikationssprachen

Kognitive Robotik

• DASA-RI Projekt KOSYMA
• DFG Graduiertenkolleg Raumorientierung und Handlungsorganisation autonomer Systeme
• DFG Schwerpunktprogramm Raumkognition
• Studentisches Projekt FORANN und Simulationssystem SimRobot
• Studentisches Projekt SAUS

Verknüpfung von Forschung und Lehre

• Graduiertenstudium
• Studentische Projekte