Warning: Illegal string offset 'format_dest' in /www/artist/htdocs/artist/ecrire/inc/filtres_images_lib_mini.php on line 726

Warning: Illegal string offset 'format_source' in /www/artist/htdocs/artist/ecrire/inc/filtres_images_lib_mini.php on line 729
ArtistDesign NoE - ARTIST2 South-American School for Embedded Systems 2008
 

ARTIST2 South-American School for Embedded Systems 2008

August 25-29, 2008       Universidade Federal de Santa Catarina, Florianopolis, Brazil organised and funded by ARTIST 

Lecturers

Nicolas Halbwachs

Nicolas Halbwachs, VERIMAG Laboratory, Grenoble, France
Nicolas Halbwachs obtained his "3rd Cycle Thesis" in 1979, at Grenoble University, under the supervision of P. Cousot, on the static analysis of linear properties invariantly satisfied by the numeric variables of a program.
In 1984, he obtained his "State Thesis", at Institut National Polytechnique de Grenoble, under the supervision of P. Caspi, on formal modelling of real-time system behavior.
Since then, he was one of the main designers of the synchronous data-flow language Lustre. He successively worked on the language design, compilation to software and hardware, on verification and testing techniques for synchronous programs, and on the verification of numerical programs by abstract interpretation. He is strongly involved in the industrial transfer of Lustre technology. He was the coordinator of the ESPRIT-LTR ``SYRF’’ project (1997-99).

N. Halbwachs entered the CNRS (French National Center of Scientific Research) in 1980. Since 1991, he is "Directeur de Recherche" at CNRS, working at Verimag Laboratory in Grenoble.
In 1992-93, he spent a year at Stanford University, as invited professor. In 2004, he was awarded with Paul Caspi, the Prize "Michel Monpetit" of the French Academy of Sciences. He is currently director of the Verimag laboratory.

Peter Marwedel

Peter Marwedel, Technical University of Dortmund, Germany
Peter Marwedel received his Ph.D. in physics from the University of Kiel (Germany) in 1974. He worked at the Computer Science Department of that University from 1974 until 1989. In 1987, he received the Dr. habil. degree for his work on high-level synthesis and retargetable code generation based on the hardware description language MIMOLA.
Since 1989 he is a professor at the Computer Science Department of the Technical University of Dortmund. He served as the Dean of that Department between 1992 and 1995. His current research is focussed on software for embedded systems, with emphasis on code generation techniques for embedded systems, in particular memory and energy-aware compilers.

His publications include the books :
- "Code Generation for Embedded Processors",
- "Retargetable Compiler Technology" and
- "Embedded System Design", all published by Kluwer Academic publishers.

He received the teaching award of his University in 2003 and is a member of the ARTIST2 network of excellence on embedded and real-time systems in Europe.

Dr. Marwedel heads the ICD, a private technology transfer center at Dortmund and is actively promoting the use of research results in industry.

Lothar Thiele

Lothar Thiele, ETH Zürich
Lothar Thiele received his Diplom-Ingenieur and Dr.-Ing. degrees in Electrical Engineering from the Technical University of Munich in 1981 and 1985 respectively. After completing his Habilitation thesis from the Institute of Network Theory and Circuit Design of the Technical University Munich, he joined the Information Systems Laboratory at Stanford University in 1987.
In 1988, he took up the chair of microelectronics at the Faculty of Engineering, University of Saarland, Saarbrucken, Germany. He joined ETH Zurich, Switzerland, as a full Professor of Computer Engineering, in 1994. He is leading the Computer Engineering and Networks Laboratory of ETH Zurich.

His research interests include models, methods and software tools for the design of embedded systems, embedded software and bioinspired optimization techniques.

In 1986 he received the "Dissertation Award" of the Technical University of Munich, in 1987, the "Outstanding Young Author Award" of the IEEE Circuits and Systems Society, in 1988, the Browder J. Thompson Memorial Award of the IEEE, and in 2000-2001, the "IBM Faculty Partnership Award". In 2004, he joined the German Academy of Natural Scientists Leopoldina. In 2005, he was the recipient of the Honorary Blaise Pascal Chair of University Leiden, The Netherlands.

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

Réalisation Axome - Création de sites Internet