CAV01 WRTV Participant list (27
participants)
Here is the list of WRTV participants that registred through CAV01 web site.
- Akhavan, Anahita -- Verimag
- AKPAH, MARTIN ESINAM -- GLADYMANUEL TRADING ENTERPRISE
- Artho, Cyrille -- ETH Zurich, http://www.ethz.ch/
- ASABERE, OBENG ADU ASABERE -- PAD CONPUTER TRAINING SCHOOL
- BOADU COLLINS, ADJEI -- I.P.S
- Christensen, Anders Bo -- Aalborg University, Denmark
- COUSOT, Patrick -- École normale supérieure
- Finkbeiner, Bernd -- Stanford University
- Geada, Joao -- Synopsys, Incorporated
- Geilen, Marc -- Eindhoven University of Technology
- Gerth, Rob -- Intel corp
- Godskesen, Jens Chr. -- IT University of Copenhagen
- Gottely, Laurent -- France Télécom R&D
- Havelund, Klaus -- Kestrel Technology/NASA Ames Research Center
- Hoenicke, Jochen -- University of Oldenburg
- Larsen, Kim -- BRICS, Aalborg University
- Möller, Michael -- University of Oldenburg
- Oleinic, Alexandru -- SA "Agrofortus"
- Povlsen, Daniel -- Aalborg University, Denmark
- Roach, Steve -- University of Texas at El Paso
- Rosu, Grigore -- NASA Ames Research Center - RIACS
- Shanbhag, Vivek K. -- Indian Institute of Science
- SIFAKIS, Joseph -- LABORATOIRE VERIMAG - UMR 5104
- Sokolsky, Oleg -- University of Pennsylvania
- SOSI, DAVID -- P.C.T.S
- Weil, Daniel -- France Telecom R&D
- Yovine, Sergio -- VERIMAG
27 participants at Tue Jul 31 7:9:1