ArtistDesign NoE

Bernat

2008-01-21T16:28:41Z

Krall

Andreas Krall — 2006-08-09T14:40:10Z

- 30. Core Team Leaders / Compilers and Timing Analysis

Puschner

Peter Puschner — 2006-08-09T14:34:36Z

- 30. Core Team Leaders / Compilers and Timing Analysis, Software Synthesis, Code Generation and Timing Analysis, Intercluster activity: Design for Predictability and Performance

Holsti

Niklas Holsti — 2006-08-09T14:31:38Z

- 30. Core Team Leaders / Compilers and Timing Analysis

Lisper

Björn Lisper — 2006-08-09T14:24:57Z

- 30. Core Team Leaders / Compilers and Timing Analysis, Software Synthesis, Code Generation and Timing Analysis, Intercluster activity: Design for Adaptivity

Ferdinand

Christian Ferdinand — 2006-08-09T14:18:10Z

- 30. Core Team Leaders / Compilers and Timing Analysis

van Vlijmen

Joseph van Vlijmen — 2006-08-09T14:12:49Z

- 30. Core Team Leaders / Compilers and Timing Analysis

Wilhelm

Reinhard Wilhelm — 2006-08-08T11:09:12Z

- 30. Core Team Leaders / Compilers and Timing Analysis, Execution Platforms, Strategic Management Board, Software Synthesis, Code Generation and Timing Analysis, Intercluster activity: Design for Predictability and Performance

Leupers

Rainer Leupers — 2006-08-08T11:03:37Z

Glesner

Ulrike Woern — 2006-07-31T08:58:23Z

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