Attendees at VGC'05, Feb. 21-23, 2005, SRI International

      Last Name	First Name	Email		Place of Work	
      Abadi 	Martin 	abadi***cs.ucsc.edu 	UCSC 	
      
      Aiken 	Alex 	aiken***cs.stanford.edu 	Stanford University
      
      Berezin 	Sergey 	berezin***stanford.edu Stanford University
      
      Black 	Paul 	paul.black***nist.gov 	National Institute of
					      Standards and Technology 	
      
      Bryant 	Randal 	Randy.Bryant***cs.cmu.edu  Carnegie Mellon University      
      Edmund Clarke 	emc***cs.cmu.edu 	Carnegie Mellon Univ
      
      DeLong 	Rance 	rdelong***lnxw.com LynuxWorks / Santa Clara University 	
      de Moura Leonardo demoura***csl.sri.com   SRI International 
      
      Dutertre 	Bruno 	bruno***csl.sri.com SRI International 

      Dwyer 	Matthew 	dwyer***cse.unl.edu University of Nebraska
      
      Emerson 	E Allen	emerson***cs.utexas.edu 	University of Texas
      
      Engler 	Dawson 	engler***csl.stanford.edu 	Stanford
      
      Evans 	David 	evans***cs.virgnia.edu	University of Virginia
      
      Gill 	Helen 	hgill***nsf.gov 		NSF 	
      
      Gopalakrishnan 	Ganesh 	ganesh***cs.utah.edu  University of Utah,
						    School of Computing
						    
      Green	Cordell  green***kestrel.edu  Kestrel Institute 
      
      Hardin 	David 	dshardin***rockwellcollins.com 	Rockwell Collins
      
      
      Harrison 	John 	johnh***ichips.intel.com 	 Intel Corporation
            
      Havelund 	Klaus 	havelund***email.arc.nasa.gov Kestrel Technology,
						    NASA Ames Research Center      
      Hehner 	Eric 	hehner***cs.utoronto.ca 	University of Toronto

      Heitmeyer Connie  heitmeyer***itd.nrl.navy.mil NRL 
      
      Hinchey 	Mike 	Michael.G.Hinchey***nasa.gov 	NASA Goddard Space
      Flight Center 	
      
      Holzmann 	Gerard 	Gerard.J.Holzmann***jpl.nasa.gov 	NASA/JPL
      
      Homeier 	Peter 	homeier***saul.cis.upenn.edu Department of Defense
      
      Horning 	James (Jim) 	work***horning.net McAfee Research, McAfee, Inc.      
      Jackson 	Daniel 	dnj***mit.edu		 MIT 	
      
      Joshi 	Rajeev 	Rajeev.Joshi***jpl.nasa.gov NASA/JPL Lab for
						  Reliable Software 	
      
      Kapur 	Deepak 	kapur***cs.unm.edu University of New Mexico
      
      King 	Frankie 	king***itrd.gov	National Coordination Office 	
      Klarlund 	Nils 	klarlund***research.bell-labs.com	  Bell Labs,
							  Lucent Technologies
      Wilfred Legato 	wjlegato***erols.com NSA	
      
      Leino 	Rustan 	leino***microsoft.com	Microsoft Research
      
      Lerda 	Flavio 	lerda***cmu.edu 	Carnegie Mellon University
      
      Loewenstein 	Paul 	paul.loewenstein***sun.com Sunnyvale, California
      
      Lowry	Michael	lowry***email.arc.nasa.gov     NASA Ames  
      
      Majumdar 	Rupak 	rupak***cs.ucla.edu 	University of California,
						Los Angeles 	
      
      Manolios 	Pete 	manolios***cc.gatech.edu 	Georgia Tech
      
      Martin 	Brad 	wbmarti***alpha.ncsc.mil 	National Security Agency
      
      McMillan  Ken	mcmillan***cadence.com	Cadence Berkeley Labs 
      
      McPeak 	Scott 	smcpeak***cs.berkeley.edu 	UC Berkeley
      
      Meseguer 	Jose 	meseguer***cs.uiuc.edu 	CS Dept. University of
						Illinois 	 
      
      Meyer 	Bertrand 	Bertrand.Meyer***inf.ethz.ch 	ETH Zurich
							  / Eiffel Software      
      Misra 	Jayadev 	misra***cs.utexas.edu	U. of Texas, Austin 	
      
      Moore 	J Strother 	moore***cs.utexas.edu	University of
							Texas at Austin
							      
      Morrisett Greg 	greg***eecs.harvard.edu 	Harvard University
       	
      Musser 	David 	musser***cs.rpi.edu Rensselaer Polytechnic Institute
      
      Nelson 	Greg 	gnelson***hp.com 	Theorem Proving 	HP Labs
      
      Neumann	Peter	neumann***csl.sri.com	     SRI International      
      
      Owre 	Sam 	owre***csl.sri.com 	SRI International
      
      Penix	John	John.Penix***nasa.gov	NASA Ames	
      
      Pnueli 	Amir 	amir***cs.nyu.edu 	New York University
      
      Rajamani 	Sriram 	sriram***microsoft.com 	Microsoft Research
      
      Rash 	James 	James.L.Rash***nasa.gov 	NASA Goddard Space Flight
						Center 	
      
      Reynolds 	John 	john.reynolds***cs.cmu.edu Carnegie Mellon
						 University 	
      
      Robby 	 	robby***cis.ksu.edu 	Kansas State University
      
      Ruess     Harald  ruess***csl.sri.com	SRI International 
      
      Saidi 	Hassen 	saidi***csl.sri.com 	SRI International
      
      Schulte 	Wolfram schulte***microsoft.com 	Microsoft Research

      Sipma 	Henny 	sipma***cs.stanford.edu 	Stanford University
      
      Slind 	Konrad 	slind***cs.utah.edu 	School of
				  	        Computing, University of Utah
      
      Smith 	Doug 	smith***kestrel.edu 	Kestrel Institute

      Sorea	Maria   sorea***hotmail.com	UCSC  
      
      Tauber 	Joshua 	josh***csail.mit.edu	MIT CSAIL 	

      Tiwari	Ashish  tiwari***csl.sri.com	SRI International
      
      Visser 	Willem 	wvisser***email.arc.nasa.gov 	RIACS/NASA Ames
      
      Yu 	Yuan 	yuanbyu***microsoft.com 	Microsoft Research
      
      Zhang 	Lintao 	lintaoz***microsoft.com 	Microsoft Research