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

Höhepunkte der Fakultät im Jahr 2009
2.7 Ehrungen und Preise
Bundesverdienstkreuz am Bande des Verdienstordens der Bundesrepublik Deutschland
für seine Verdienste um den Aufbau der Informatik und den Dialog zwischen den Ingenieurund
Kulturwissenschaften.
Prof. em Dr. Detlef Schmid
Klaus-Tschira-Preis für verständliche Wissenschaft
� Dissertation: “Route Planning in Road Networks”
Dr. rer. nat. Dominik Schultes
KIT-Doktorandenpreis
� Dissertation: “Route Planning in Road Networks”
Dr. rer. nat. Dominik Schultes
Silbernes Verdienstzeichen des Landes Oberösterreich
Würdigung des langjährigen verdienstvollen Wirkens für blinde und sehbehinderte
Menschen.
Joachim Klaus, Geschäftsführer des Studienzentrums für Sehgeschädigte (SZS)
Weltrekord im Sortieren größter Datenmengen
Gewinner in zwei Kategorien des SortBenchmark (Indy Gray und Indy Minute)
Prof. Dr. Peter Sanders, Dr. Mirko Rahn, Johannes Singler, Tim Kieritz
Intel Leadership Award
Preis als Anerkennung für die Führerschaft in Intels akademischer Gemeinschaft und für
die Weiterentwicklung des parallelen Rechnens
Prof. Dr. Tichy, Dr. Pankratius
International IPv6 Application Contest 2009
Auszeichnung einer Ideenskizze, die sich mit Möglichkeiten der Verwendung des neuen
Internetstandards IPv6 in Peer-to-Peer-Netzen beschäftigt.
Dr. Roland Bless, Dr. Oliver Waldhorst, Prof. Dr. Martina Zitterbart
Fakultätslehrpreis des Karlsruher Instituts für Technologie
Vorlesung “Formale Systeme”
Prof. Dr. Bernhard Beckert
Special Prize der SAT-Competition 2009 für den SAT-Solver „MiniSat 09z“
“12. Intl. Conf. on Theory and Applications of Satisfiability Testing”
Dr. rer. nat. Carsten Sinz
34