Participant list for RV

Registrants

Name Affiliation Country Email (with "*" for "@")
Parker Abercrombie University of California at Santa Barbara USA parkera*cs.ucsb.edu
Cyrille Valentin Artho ETH Zürich Switzerland artho*inf.ethz.ch
Armin Biere ETH ZRH, Comp. Syst. Inst. Switzerland biere*inf.ethz.ch
Gregor v. Bochmann University of Ottawa Canada bochmann*site.uottawa.ca
Mark Brörkens Offis, R&D Div. Embedded Sys. Germany mark.broerkens*offis.de
Néstor Cataño INRIA France Nestor.Catano*sophia.inria.fr
Arindam Chakrabarti EECS U C Berkeley USA arindam*CS.Berkeley.EDU
Marsha Chechik University of Toronto Canada chechik*cs.toronto.edu
David Currie Mentor Graphics Corp. USA david_currie*mentorg.com
Jens Chr. Godskesen IT Univ. of Copenhagen Denmark jcg*it-c.dk
Klaus Havelund Kestrel Technology/NASA Ames USA havelund*email.arc.nasa.gov
Susan Horwitz University of Wisconsin USA horwitz*cs.wisc.edu
Murat Karaorman Texas Instruments USA muratk*ti.com
Moonjoo Kim SECUi.com South Korea moonjoo*secui.com
Kåre Jelling Kristoffersen IT Højskolen København Denmark kjk*it-c.dk
Kim G. Larsen BRICS Aalborg Denmark kgl*cs.auc.dk
Maibritt Brink Larsen IT University Copenhagen Denmark maier*it-c.dk
Joshua Levy SRI International USA levy*sdl.sri.com
Michael McDougall University of Pennsylvania USA mmcdouga*saul.cis.upenn.edu
Christian Pedersen IT University Copenhagen Denmark christianp*privat.dk
Amir Pnueli Weizmann Institute of Science Israel amir*wisdom.weizmann.ac.il
Viktor Schuppan ETH Zurich Switzerland Viktor.Schuppan*inf.ethz.ch
Sanjit Seshia Carnegie Mellon University USA sanjit+cav02*cs.cmu.edu
Thomas Shiple Synopsys, Inc. France shiple*synopsys.com
Henny Sipma Stanford University USA sipma*cs.stanford.edu
Oleg Sokolsky University of Pennsylvania USA sokolsky*cis.upenn.edu
Scott Stoller State Univ of NY at Stony Brook USA stoller*cs.sunysb.edu

Distribution

Country Count
USA 12
Denmark 5
Switzerland 3
Canada 2
France 2
Germany 1
Israel 1
South Korea 1
Total 27

Generated on Fri Aug 9 12:08:38 2002.

This list is generated from the VHC registration database, with manual patches based on information from the FLoC paper and committee databases.
If your entry is incorrect, or if you would prefer not to be listed, contact andrzej@diku.dk.