Artist2 Summer School in China 2008

July 12-18, 2008       Shanghai, China organised and funded by ARTIST 


Luis Almeida

University of Aveiro, Portugal

Luis Almeida is currently a professor at the Electronics, Telecommunications and Informatics Department (DETI) of the Universidade de Aveiro (UA), and member of the IEETA research unit (Instituto de Engenharia Electrónica e Telemática de Aveiro) at the same university. He is also a senior member of the IEEE, Computer Society. He has coordinated the Electronic Systems Lab (LSE) within IEETA since 2003, being currently interested in real-time communication protocols for embedded systems with an emphasis on mechanisms to support predictable operational flexibility as needed for dynamic QoS management, graceful degradation and open distributed real-time systems in general. He is also interested in control architectures for teams of autonomous mobile robots, focusing on distributed architectures to support global coordination and data fusion, and in flexible control approaches, particularly for networked control systems.

Activities within the Artist European Network of Excellence

Ed Brinksma

Embedded Systems Institute, Netherlands

Ed Brinksma is scientific director and chair of the Embedded Systems Institute in Eindhoven in The Netherlands, and a member of the Formal Methods research group at Eindhoven University of Technology. He also used to be professor and chair of the Formal Methods and Tools group at the University of Twente, to which he now is affiliated as a part-time full professor and is also acting as chair of the new group in Pervasive Systems.

Ed Brinksma is affiliated to the the Department of Computer Science at Aalborg University in Denmark as an adjoint professor.

Activities within the Artist European Network of Excellence

Michael Gonzalez Harbour

University of Cantabria, Spain

Michael González Harbour is a Professor in the Department of
Mathematics, Statistics and Computer Science at the University of
Cantabria. He works in software engineering for real-time systems, and
particularly in modelling and schedulability analysis of distributed
real-time systems, real-time operating systems, and real-time
languages. He is a co-author of "A Practitioner’s Handbook on
Real-Time Analysis". He has been involved in several industrial
projects using Ada to build real-time controllers for robots. Michael
has participated in the real-time working group of the POSIX standard
for portable operating system interfaces.

Activities within the Artist European Network of Excellence

Christoph Kirsch

University of Salzburg, Austria

Christoph Kirsch received the Dr.Ing. degree from Saarland University, Saarbruecken, Germany, in 1999 while at the Max Planck Institute for Computer Science in Saarbruecken. He then worked as Postdoctoral Researcher at the Department of Electrical Engineering and Computer Sciences of the University of California, Berkeley.

Since 2004, he is a full professor at the Department of Computer Sciences of the University of Salzburg, Austria. His research interests are in concurrent programming and systems, virtual execution environments, and embedded real-time software. Dr. Kirsch co-invented the Giotto and HTL languages, and leads the JAviator unmanned-aerial-vehicle project for which he received an IBM faculty award in 2007. He is a member of the ACM and IEEE, co-founded the International Conference on Embedded Software (EMSOFT), and is a general co-chair of the Embedded Systems Week (ESWEEK) in 2008. He has served on program committees of CASE, Coordination, DATE, EMSOFT, EuroSys, LCTES, OOPSLA, RTAS, and VEE.

Activities within the Artist European Network of Excellence

Jean-François Raskin

Université Libre de Bruxelles, Belgium

Associate Professor

After long research stays at the University of California at Berkeley, Max-Planck Institute for Computer Science (Saarbrucken), and ENS Paris, he is now Associate Professor at the computer science department of the Université Libre de Bruxelles (ULB), Belgium.

His research interests are the formal methods for the verification of concurrent, real-time, and hybrid systems.

More precisely, his research focusses on:
- Logic formalisms, especially temporal logics and real-time logics;
- Automata formalisms and their extensions for real-time and hybrid systems;
- Abstract interpretation theory and its application to the verification of concurrent, real-time and hybrid systems ;
- Game theory for synthesis of controllers.

Personal webpage

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

Réalisation Axome - Création de sites Internet