Experience
Education
Bio
Research Grants and Projects Member in the "Margarete von Wrangell-Habilitationsprogramm", sponsored by the state of Baden-Wuerttemberg (Germany) Correct and Optimizing Compilers for Modern Processor Architectures: Research grant in the "Elitef�rderprogramm f�r Postdoktoranden der Landesstiftung Baden-W�rttemberg", sponsored with 69.000 Euro. Research grant within the DFG Aktionsplan Informatik (part of the Emmy Noether-Programm) starting 2004 Titel des Projekts: Verifikation und Optimierung bei der �bersetzung h�herer Programmiersprachen. F�rderung zum Aufbau einer eigenen Arbeitsgruppe (u.a. zwei Mitarbeiterstellen)