Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

3.1 Institute und ihre Forschungsvorhaben
Institut für Theoretische Informatik
Das Institut befasst sich mit den theoretischen Grundlagen der
Informatik und deren Anwendung auf praktische Fragestellungen.
Ein Schwerpunkt des Instituts liegt auf dem Gebiet
"Formale Methoden". Zentrale Aktivität ist hier die Konzeption
und Implementierung des Software-Entwicklungs- und Verifikationssystems
KeY mit UML/OCL oder JML als Spezifikationssprache.
Hauptanwendungsgebiete sind Java-Programme
auf Chipkarten und RTSJ-Programme im Avionics-Bereich im
Rahmen des EU-Projekts DIANA. Neu hinzugekommen ist die
Anwendung formaler Methoden auf Fragen zur Zuverlässigkeit
in drahtlosen Sensornetzwerken im Rahmen des ZeuS-Projekts.
Einen zweiten Schwerpunkt bilden die Algorithmik und
verwandte Gebiete mit besonderer Betonung der Methodik des
"Algorithm Engineering". Die bearbeiteten Forschungsthemen
umfassen theoretische wie praktische Fragestellungen aus verschiedenen
Gebieten. Dazu gehören Algorithmenbibliotheken
für grundlegende Algorithmen und Datenstrukturen, Optimierungsprobleme
im Verkehrsbereich sowie Netzwerkanalyse
und -visualisierung. Das Institut ist am DFG-Graduiertenkolleg
1194 "Selbstorganisierende Sensor-Aktor-Netzwerke" sowie
federführend an den DFG-Schwerpunktprogrammen 1126
"Algorithmik großer und komplexer Netzwerke" und 1307
"Algorithm Engineering" beteiligt. Darüber hinaus werden
Forschungsarbeiten im Rahmen weiterer DFG-Projekte und
der EU-Projekte DELIS, CREEN und ARRIVAL durchgeführt.
Es bestehen enge Kooperationen mit der Industrie, unter anderem
mit PTV, Mediamobile, SAP, Ortec, Google, Robert Bosch
GmbH und CAS Software AG. Weiterer Schwerpunkt des
Instituts sind Forschungsarbeiten zur Mensch-Maschine-
Interaktion. Hierbei werden u. a. Methoden zur Erkennung,
Übersetzung und Generierung spontan gesprochener Sprache
untersucht sowie bildverarbeitende Systeme entwickelt, um
Menschen und ihre Aktivitäten wahrnehmen zu können.
Weitere Forschungsarbeiten beschäftigen sich mit der Entwicklung
multimodaler Dialogsysteme. Das Institut ist am SFB
588 (Humanoide Roboter) und seit 2008 an Quaero beteiligt,
einem französischen Forschungs- und Entwicklungsprogramm
mit deutschter Beteiligung, das die Entwicklung von Werkzeugen
zur Indexierung und Verwaltung digitaler multimedialer
und multilingualer Inhalte in den Mittelpunkt stellt.
158
Kontakt
Prof. Dr. B. Beckert
Tel. 608-44025
beckert@kit.edu
Prof. Dr. P. Sanders
Tel. 608-47580
sanders@kit.edu
Prof. Dr. P. H. Schmitt
Tel. 608-44000
peter.schmitt@kit.edu
Prof. Dr. D. Wagner
Tel. 608-47330
dorothea.wagner@kit.edu
Dr. Carsten Sinz
Tel. 608-44212
carsten.sinz@kit.edu