|
Die Forschungsgruppe Krieg-Brückner führt seit 1982 studentische Projekte
zu Themen aus den Gebieten
Programmiersprachen, Übersetzerbau, Softwareentwicklung mit formalen Methoden, Visualisierung, neuronale Netze und Robotik durch.
Diese Projekte stehen in engem Zusammenhang
zu den Forschungsinteressen der Gruppe.
Laufende und geplante Projekte
- Winter 06/07 - Sommer 08
- Winter 10/11 - Sommer 12
- Winter 09/10 - Sommer 11
- Winter 07/08 - Sommer 09
- Winter 06/07 - Sommer 08
- Winter 05/06 - Sommer 07
- SmartChair: Ein intelligenter und sicherer Rollstuhl mit multimodaler Interaktion.
Abgeschlossene Projekte
- Bordeaux: Formale Entwicklung einer Rollstuhlsteuerung. (2004-2006)
- ESPRESSO: Ein SPREchendes Stimulantien Servierendes Objekt
(2003-2005)
- UniDoc:
University Document Standard (2003-2005)
- Roboterfußball (2003-2005)
- PROSECCO (2001-2003)
- DIALOG (2001-2003)
- ROBOCUP I -
Roboterfußball (2000-2002)
- ROSES -
Rollstuhl als sicheres eingebettetes System (1998-2000)
- BALI -
Bremen Abstract Language for the Internet (1996-98)
- SIESTE -
Sichere Eisenbahnsteuerung
(mit Jan Peleska,
1995-97)
- SAUS -
Sensomotorik autonomer Systeme (1994-96)
- FORAUS -
Formatieren von Dokumenten mit unterschiedlichen Sichten
(1992-94)
- FUSEL -
Funktionale Sprachen effizient compliert (1992-94)
- FORANN -
Formalisierung und Anwendung neuronaler Netze
(1990-92)
- PILS -
Parallele Implementierung funktionaler Programmiersprachen
(1988-90)
- PORQUE -
Portabilität und Querübersetzung (1984-86)
- ÜBERQUELLE -
Übersetzung auf der Quellsprachenebene (1982-84)
|
|