Core Team Leaders
Prof. Dr. Sabine Glesner
TU Berlin
Role within the Artist2 European Network of Excellence
Participates in
Compilers and Timing Analysis
Company or Institution
TU BerlinContact
Home page: http://pes.cs.tu-berlin.de/pes/index.php_lang=en.html
Research interests  Compilers, Verification, Embedded Systems and Software, Formal SemanticsRole in leading conferences/journals/etc in the area PC Member of Compiler Construction 2007Date’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 soonAktionsplan 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