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

Inhaltsverzeichnis
Vorwort
Inhaltsverzeichnis
1 Die Fakultät für Informatik 1
1.1 Entwicklung und Überblick 2
1.2 Lehrkörper 12
1.3 Struktur der Fakultät 16
2 Höhepunkte der Fakultät im Jahr 2009 17
2.1 Rankings - Forschung und Lehre in Karlsruhe sind top! 18
2.2 Besondere Auszeichnungen und Preise 19
� Professor Detlef Schmid erhält das Bundesverdienstkreuz 19
� KIT-Doktorandenpreis für Dr. Dominik Schultes 21
� Jubiläum: 25 Jahre E-Mail in Deutschland 22
2.3 Veranstaltungshöhepunkte 2009 23
� Semesterkolloquium 23
� Gründung des Begabtenkollegs der Fakultät für Informatik 25
� IBM stiftet Rechnermodell 26
� Leiter des SZS verabschiedet 27
� Tag der Informatik 27
� Auszeichnung der besten Lehrveranstaltungen 28
� Gründung der Deutsch-Französischen Zentrums für multilinguale
Informationsverarbeitung 30
� Eröffnung des KIT-Schwerpunkts COMMputation 31
2.4 Die Informatik-Kooperation Universität-Gymnasium 32
2.5 Antrittsvorlesungen
2.6 Rufe und Berufungen 33
2.7 Ehrungen und Preise 34
2.8 Habilitationen und Promotionen 37
3 Die Einrichtungen der Fakultät 45
3.1 Die Institute und ihre Forschungsvorhaben 45
� Institut für Betriebs- und Dialogsysteme 46
� Institut für Programmstrukturen und Datenorganisation 59
� Institut für Prozessrechentechnik, Automation und Robotik 98
� Institut für Telematik 120
� Institut für Theoretische Informatik 157