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

Dr. rer. nat. Daniel Delling
„Engineering and Augmenting Route Planning Algorithms“
Referent: Prof. Dr. D. Wagner
Korreferent: Prof. Dr. R. Möhring
Dr.-Ing. Alessandro De Mauro
„Microscope Embedded Neurosurgical Training and Intraoperative System“
Referent: Prof. Dr. H. Wörnl
Korreferent: Prof. Dr. C. Wirtz
Dr.-Ing. Hazim Kemal Ekenel
„A Robust Face Recognition Algorithm for Real-World Applications“
Referent: Prof. Dr. A. Waibel
Korreferent: Prof. Dr. J. Kittler
Dr.-Ing. Christian Engel
„Deductive Verification of Safety-Critical Java Programs“
Referent: Prof. Dr. P. Schmitt
Korreferent: Prof. Dr. B. Thomson
Dr.-Ing. Patrick Freudenstein
„Web Engineering for Workflow-based Applications: Models, Systems and Methodologies“
Referent: Prof. Dr. W. Juling
Korreferent: Prof. Dr. H. Schmeck
Dr.-Ing. Dominik Fritz
„Zeitabhängige, multimodale Modellierung und Analyse von Herzdaten“
Referent: Prof. Dr. R. Dillmann
Korreferent: Prof. Dr. J. Beyerer
Habilitationen und Promotionen 2009
Dr.-Ing. Christian Hammer
„Information Flow Control for Java - A Comprehensive Approach Based on Path
Conditions in Dependence Graphs“
Referent: Prof. Dr. G. Snelting
Korreferentin: Prof. Dr. S. Glesner
Dr.-Ing. Dilana Hazer
„Automated Patient-Specific Modeling of Blood Flow and Vessel Wall Mechanics in Aortic
Pathology“
Referent: Prof. Dr. R. Dillmann
Korreferent: Prof. Dr. Richter
39
2