Role within the Artist2 European Network of Excellence
Participates in Compilers and Timing Analysis

Company or Institution
TU Berlin
Home page:
Research interests
- Compilers, Verification, Embedded Systems and Software, Formal Semantics
Role in leading conferences/journals/etc in the area
- PC Member of Compiler Construction 2007
Date’06, Design, Automation and Test in Europe, TPC Member of Topic B9 on Formal Verification
Workshop Compiler Optimization meets Compiler Verification COCV, ETAPS Conferences, PC Member in 2005 and 2006, Program Co-Chair in 2007
Workshop Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), ETAPS Conferences, PC Member 2005 and 2006
Editorial Board Member of “Informatik – Forschung und Entwicklung” by Springer, starting with Vol. 21, No. 1
Notable past projects
- VATES (Verification and Transformation of Embedded Systems), funded by DFG, will start soon
Aktionsplan Informatik (Emmy Noether-Program), funded by DFG, support for young researchers to build a research group, with a focus on optimization and verification in the compilation of higher programming languages, from 2004 to 2009
Correct and Optimizing Compilers for Modern Processor Architectures, funded by a postdoc excellence program of Baden-Württemberg, Germany, 2003-2005
Grant in the Wrangell-Habilitation Program of Baden-Württemberg, Germany, 2001-2005
Awards / Decorations
- Award of the “Forschungszentrum Informatik” for one of the two best PhD theses of the Faculty for Computer Science, University of Karlsruhe, 1998/99
Member of the „Studienstiftung des deutschen Volkes”, the german national scholarship organization, 1991-1996
Fulbright grant to study at the University of California, Berkeley, 1993-1994
Member of the Siemens Internationaler Studenten / Doktorandenkreis, 1993-1999

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet