Members
Mark Aagaard | University of Waterloo
|
Dominique Borrione | Laboratoire TIMA (VDS)
|
Luc Claesen | IMEC, Belgium
|
Byron Cook | Microsoft Inc., Portland
|
Hans Eveking | Darmstadt University of Technology
|
Danny Geist | IBM Haifa Lab
|
Ganesh Gopalakrishnan | University of Utah
|
Nicolas Halbwachs | VERIMAG, Centre Equation
|
Alan J. Hu | University of British Columbia
|
Warren Hunt | University of Texas, Austin
|
Beneditto Intrigila | Università di L'Aquila
|
Steven D. Johnson | Indiana University
|
Sagi Katz | Galileo Co., Isreal
|
Thomas Kropf | University of Tübingen
|
Ken McMillan | Cadence Berkeley Laboratories
|
Yossi Malkal | IBM Haifa Labs
|
Tiziana Margaria | University of Göttingen
|
Andrew Martin | Motorola, Inc.
|
Tom Melham | University of Glasgow
|
Alan Mycroft | Cambridge University
|
John O'Leary | Intel Corp.
|
Laurence Pierre | Université de Provence
|
Mary Sheeran | Chalmers Tekniska Hoegskola
|
Kanna Shimizu | Stanford University
|
Enrico Tronci | Università di Roma
|
Ken Turner | University of Stirling
|
Miroslav Velev | Aries Design Automation, USA
|