CAV01 WSMC Participant list (58
participants)
Here is the list of WSMC participants that registred through CAV01 web site.
- AKPAH, MARTIN ESINAM -- GLADYMANUEL TRADING ENTERPRISE
- Amla, Nina -- Cadence Design Systems
- ANKRAH, KWEKU -- ASTI AGENCIES LTD.
- Aoshima, Takenobu -- Graduate School of Information Science and Engineering, Department of Computer Science,Tokyo Institute of Technology
- Appiah kubi, Eric -- Ericus computer Training
- ASABERE, OBENG ADU ASABERE -- PAD CONPUTER TRAINING SCHOOL
- Asteroth, Alexander -- Universität Bonn
- Ataru, Nakagawa -- SRA/KTL
- Baier, Christel -- Universitaet Bonn
- BOADU COLLINS, ADJEI -- I.P.S
- Bozga, Dorel Marius -- VERIMAG
- BRES, Yannis -- CMA-EMP/INRIA
- Bultan, Tevfik -- University of California, Santa Barbara
- Burch, Jerry -- Cadence Berkeley Labs
- Chen, Yijia -- France Telecom R&D
- Ciardo, Gianfranco -- William and Mary
- Ciesinski, Frank -- University of Bonn
- Cook, Byron -- Prover Technology
- COUSOT, Patrick -- École normale supérieure
- Dapaah, Shadrach -- Road Runners Computer Training
- de Alfaro, Luca -- UC Santa Cruz
- Eisner, Cindy -- IBM
- Etessami, Kousha -- Lucent Technologies, Bell Laboratories
- FANTECHI, Alessandro -- DSI - Univ. di Firenze
- Fedeli, Andrea -- STMicroelectronics
- Finkel, Alain -- LSV
- Fisman, Dana -- The Weizmann Institute of Science
- Gerth, Rob -- Intel corp
- Gopalakrishnan, Ganesh -- University of Utah
- GRAF, Susanne -- VERIMAG
- Groce, Alex -- Carnegie Mellon University
- Heljanko, Keijo -- Helsinki Univ. of Technology
- Helke, Steffen -- Technical University of Berlin
- Jackson, Paul -- University of Edinburgh
- Jin Hyun, Kim -- Korea University
- Jones, Robert -- Intel Corp.
- Kesten, Yonit -- Ben-Gurion University
- Khurshid, Sarfraz -- Massachusetts Institute of Technology
- KODAMBALLI, Shashidhar -- IMEC
- Larsen, Ulrik -- Aalborg University, Denmark
- Leroux, Jerome -- LSV
- Levin, Vladimir -- Lucent Technologies
- Naumann, David -- Stevens Institute of Technology
- Nowak, David -- Oxford University Computing Laboratory
- Pace, Gordon -- Verimag
- Parashkevov, Atanas -- Motorola Inc
- Rajamani, Sriram -- Microsoft Research
- Ravi, Kavita -- Cadence Design Systems
- Rehof, Jakob -- Microsoft Research
- Schmidt, David -- Kansas State University
- Schuppan, Viktor -- Computer Systems Institute, ETH Zürich
- SOSI, DAVID -- P.C.T.S
- Stoller, Scott -- State University of New York at Stony Brook
- Van Campenhout, David -- Verisity Design
- Velev, Miroslav -- Carnegie Mellon University
- Visser, Willem -- RIACS/NASA Ames
- Williams, Alan -- University of Manchester
- Winter, Kirsten -- Software Verification Research Centre
58 participants at Tue Jul 31 7:9:1