ARTIST2 / UNU-IIST Spring School in China 2006

April 3-15, 2006       Xi’an, China organised and funded by ARTIST 

Lecturers and Seminar Speakers

Lecturers


Prof. Dr. Peter Marwedel

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 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 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 is a member of the accreditation commission I (engineering and informatics) of ASIIN, a society in charge of the accreditation of engineering and science education in Germany. 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.

Dr. Joseph Sifakis

VERIMAG Laboratory, Grenoble, France

- Joseph Sifakis is CNRS researcher and the Director of Verimag Laboratory in Grenoble, France. He studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble.
- Joseph Sifakis worked on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to the development of the state of the art in verification methods and tools by model-checking for both untimed and timed systems. His current research interests include modeling, design and analysis of real-time systems with a focus on composability and compositionality. (Further information: here).
- Joseph Sifakis is a member of the editorial board of several journals, co-founder of the CAV (Computer Aided Verification) conference and a member of the Steering Committee of the EMSOFT (Embedded Software) conference. He is the recipient of the CNRS Silver Medal in 2001.
- Joseph Sifakis is the scientific coordinator of the ARTIST2 European Network of Excellence on Embedded Systems Design.

Prof. Dr. Lothar Thiele

Swiss Federal Institute of Technology Zurich, Switzerland

- Lothar Thiele was born in Aachen, Germany on April 7, 1957. He 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.

Prof. Dr. Wang Yi

Uppsala University, Sweden

- Wang Yi received his Ph.D in Computer Science from Chalmers University of Technology in 1991. Since 2000, he is a professor (real time systems) at department of information technology, Uppsala University.
- His research interests are mainly in formalisms, methods and tools for the design, verification and implementation of distributed, embedded and real time systems.
- He is leading the UPPAAL research group in Uppsala, developing the model checker UPPAAL in collaboration with Aalborg University, and TIMES, a tool for schedulability analysis and code synthesis.
- He is an associate editor for journal: IEEE Transactions on Computers since 2002.

Seminar Speakers


Dr. Zhiming Liu

United Nations University (UNU-IIST), Macao

- Zhiming Liu received his PhD from the University of Warwick (UK) in 1991. Zhiming Liu worked as a research fellow at the University of Warwick during 1988 -1994 , a lecturer in Computer Science at the University of Leicester (UK) during 1994-2005. He joined UNU-IIST as a research fellow in Junly 2002.
- Zhiming Liu’s research includes formal methdods and theories of computer systems development, in particular in the areas of Real-Time, Fault-Tolerant Systems, Object Systems and Component Systems. His research results have been published in main stream journals, including ACM TOPLAS, Theoretical Computer Science and Formal Aspects of Computing, and proceedings of conferences.
- Zhiming Liu is a member of the editorial board of International Journal on Innovations in Systems and Software Engineering. He is the founder of ICTAC (International Colloquium on Theoretical aspects of Computing) and FACS (Workshop on Formal aspects of Component Systems). He is a member of the Steering Committes of ICTAC and SEFM (IEEE Conference on Software Engineering and Formal Methods).

Prof. Zhou Chaochen

Institute of Software, Chinese Academy of Sciences (CAS)

- Personal Details: Born in 1937. Married with 2 children.
- Education: Undergraduate study at Peking University in 1954-1958; Postgraduate study at Institute for Computing Technology, CAS, in 1963-1967.
- Research interests: Formal techniques for programming, including formal semantics, specification, verification and design calculi for computing systems.
- Previous Positions since 1992: 1992- Professor, Institute of Software, CAS; 1992-1997, Principal Research Fellow, International Institute for Software Technology, United Nations University (UNU/IIST); 1997-2002 Director of UNU/IIST.
- Academic Membership: 1993- Member of CAS; 2000- Member of the Third World Academy of Sciences.

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

Réalisation Axome - Création de sites Internet