Verknüpfung von Forschung und Lehre

Die Forschungsvorhaben sind in vielfältiger Weise mit der Lehre verknüpft.

Graduiertenstudium

Doktorandenstipendienprogramm Sichere Systeme

Graduiertenkolleg Raumorientierung und Handlungsorganisation autonomer Systeme

Entsprechend der Zielsetzung des Graduiertenkollegs stehen Forschung und Lehre über ein spezielles Ausbildungsprogramm der Kollegiatinnen und Kollegiaten in engem Zusammenhang miteinander.

Studentische Projekte

ÜBERQUELLE (Übersetzung auf der Quellsprachenebene)
PORQUE (Portabilität und Querübersetzung)

Die studentischen Projekte ÜBERQUELLE (Übersetzung auf der Quellsprachenebene) und PORQUE (Portabilität und Querübersetzung) basieren auf den Forschungsarbeiten im Bereich Sprachvergleich und Querübersetzung.

PILS (Parallele Implementierung von Funktionalen Programmiersprachen)
FUSEL (Funktionale Sprachen effizient compiliert)

Die studentischen Projekte PILS (Parallele Implementierung von Funktionalen Programmiersprachen) und FUSEL (Funktionale Sprachen effizient compiliert) sind aus verschiedenen Forschungsprojekten im Bereich der Funktionalen Programmiersprachen hervorgegangen.

FORANN und Simulationssystem SimRobot

Aus dem studentischen Projekt FORANN (FORmalisierung und Anwendung Neuronaler Netze) gingen (nach anschließenden erfolgreichen Diplomarbeiten, u.a. SimRobot) mehrere Stipendiaten des Graduiertenkollegs hervor.

SAUS (Sensormotorik Autonomer Systeme)

Seit WS 94/95 findet das studentische Projekt SAUS (Sensormotorik AUtonomer Systeme) statt, an dem 20 Studenten beteiligt sind. Mehrere Kollegiaten des Graduiertenkollegs arbeiten bei der Betreuung aktiv mit. Es ist zu erwarten, daß sich auch aus diesem Projekt wieder einschlägige Diplomarbeiten entwickeln und geeigneter wissenschaftlicher Nachwuchs hervorgeht.

FORAUS (Formatieren von Dokumenten mit unterschiedlichen Sichten)

Das studentische Projekte FORAUS (Formatieren von Dokumenten mit unterschiedlichen Sichten) ist indirekt mit der Themenstellung des Projekts UniForM Workbench verwandt; derzeit tragen einige Diplomarbeiten zu den Arbeiten an der UniForM Workbench bei.

SIESTE (Sichere Eisenbahnsteuerungen)

Die Anwendung formaler Methoden in der Praxis (wie bei dem Industriepartner Elpro LET des Projekts UniForM Workbench) soll in dem Projekt SIESTE: Sichere Eisenbahnsteuerungen (Leitung: Prof. Krieg-Brückner, Prof. Peleska, 1995-97) erprobt werden.