SIG-CHARME
Special Interest Group on Formal Design and Verification Methods for Correct Hardware-like Systems

Members
Mark AagaardUniversity of Waterloo
Dominique BorrioneLaboratoire TIMA (VDS)
Luc ClaesenIMEC, Belgium
Byron CookMicrosoft Inc., Portland
Hans EvekingDarmstadt University of Technology
Danny GeistIBM Haifa Lab
Ganesh Gopalakrishnan University of Utah
Nicolas HalbwachsVERIMAG, Centre Equation
Alan J. Hu University of British Columbia
Warren HuntUniversity of Texas, Austin
Beneditto IntrigilaUniversità di L'Aquila
Steven D. JohnsonIndiana University
Sagi KatzGalileo Co., Isreal
Thomas KropfUniversity of Tübingen
Ken McMillanCadence Berkeley Laboratories
Yossi MalkalIBM Haifa Labs
Tiziana MargariaUniversity of Göttingen
Andrew MartinMotorola, Inc.
Tom MelhamUniversity of Glasgow
Alan MycroftCambridge University
John O'LearyIntel Corp.
Laurence PierreUniversité de Provence
Mary SheeranChalmers Tekniska Hoegskola
Kanna ShimizuStanford University
Enrico TronciUniversità di Roma
Ken TurnerUniversity of Stirling
Miroslav VelevAries Design Automation, USA

Steven D. Johnson
rev. 1 Nov 2002