Difference between revisions of "VSTTE checked addresses"

(Jean-Raymond Abrial)
(Gary T. Leavens)
 
(19 intermediate revisions by 2 users not shown)
Line 6: Line 6:
 
==Rajeev Alur ==
 
==Rajeev Alur ==
 
<pre>
 
<pre>
Prof. Rajeev Alur
+
 
Department of Computer and Information Science
+
 
University of Pennsylvania
+
3330 Walnut Street
+
Philadelphia, PA 19104, USA
+
 
</pre>
 
</pre>
  
 
==Myla Archer ==
 
==Myla Archer ==
 
<pre>
 
<pre>
Myla Archer
 
Naval Research Laboratory, Code 5546
 
4555 Overlook Avenue SW
 
Washington, DC 20375
 
USA
 
</pre>
 
  
==Ralph Back ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 +
 +
 
==Thomas Ball ==
 
==Thomas Ball ==
 
<pre>
 
<pre>
Dr. Thomas Ball
+
 
Microsoft Research, Building 99
+
One Microsoft Way
+
Redmond, WA 98052-6399
+
USA
+
 
</pre>
 
</pre>
 
==David  Basin ==
 
==David  Basin ==
 
<pre>
 
<pre>
Prof. David Basin
+
 
Department of Computer Science
+
ETH Zurich
+
8092 ETH Zentrum
+
Switzerland
+
 
</pre>
 
</pre>
  
 
==Yves Bertot ==
 
==Yves Bertot ==
 
<pre>
 
<pre>
Yves Bertot
+
 
2004, route des lucioles
+
B.P. 93
+
06902 Sophia Antipolis Cedex
+
France
+
 
</pre>
 
</pre>
  
 
==Ramesh Bharadwaj ==
 
==Ramesh Bharadwaj ==
 
<pre>
 
<pre>
Code 5546
 
Naval Research Laboratory
 
4555 Overlook Avenue SW
 
Washington DC 20375
 
USA
 
</pre>
 
  
==Dines Bjorner ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 +
 +
 
==Richard Bornat ==
 
==Richard Bornat ==
 
<pre>
 
<pre>
Dr. Richard Bornat
+
 
Middlesex University
+
School of Computing Science
+
The Burroughs
+
LONDON
+
NW4 4BT
+
UK
+
 
</pre>
 
</pre>
  
 
==Manfred Broy ==
 
==Manfred Broy ==
 
<pre>
 
<pre>
Prof. Manfred Broy
+
 
Fakultaet fuer Informatik
+
Technische Universitaet Muenchen
+
Boltzmannstr. 3
+
D-85748 Garching
+
Germany
+
 
</pre>
 
</pre>
  
 
==Tevfik Bultan ==
 
==Tevfik Bultan ==
 
<pre>
 
<pre>
Tevfik Bultan
+
 
Department of Computer Science
+
University of California
+
Santa Barbara, CA 93106-5110
+
USA
+
 
</pre>
 
</pre>
  
 
==Michael Butler ==
 
==Michael Butler ==
 
<pre>
 
<pre>
Michael Butler
+
 
Electronics and Computer Science
+
University of Southampton
+
Highfield
+
Southampton SO17 1BJ
+
United Kingdom
+
 
</pre>
 
</pre>
  
 
==Egon Börger ==
 
==Egon Börger ==
 
<pre>
 
<pre>
Prof. Dr. Egon Boerger
+
        
Dipartimento di Informatica 
+
Universita di Pisa         
+
Largo Bruno Pontecorvo, n.3
+
56112 Pisa
+
Italy        
+
 
</pre>
 
</pre>
  
 
==Supratik Chakraborty ==
 
==Supratik Chakraborty ==
 
<pre>
 
<pre>
Supratik Chakraborty
+
 
Dept. of Computer Science and Engg.
+
I.I.T. Bombay, Powai
+
Mumbai 400076
+
Maharashtra
+
India
+
 
</pre>
 
</pre>
  
 
==Patrice Chalin ==
 
==Patrice Chalin ==
 
<pre>
 
<pre>
Patrice Chalin
+
 
Concordia University, EV 3.215
+
Computer Science and Software Engineering Dept,
+
1455 de Maisonneuve Blvd. West,
+
Montreal, Quebec, Canada
+
H3G 1M8
+
 
</pre>
 
</pre>
  
 
==Roderick Chapman ==
 
==Roderick Chapman ==
 
<pre>
 
<pre>
Roderick Chapman
+
 
Praxis High Integrity Systems
+
20 Manvers Street
+
Bath
+
BA1 1PX
+
UK
+
 
</pre>
 
</pre>
  
 
==Marsha Chechik ==
 
==Marsha Chechik ==
 
<pre>
 
<pre>
Prof. Marsha Chechik
+
 
Department of Computer Science
+
University of Toronto
+
40 St. George Street, Rm. 3248
+
Toronto, ON M5S 2E4
+
Canada
+
 
</pre>
 
</pre>
  
 
==Alessandro Coglio ==
 
==Alessandro Coglio ==
 
<pre>
 
<pre>
Alessandro Coglio
+
 
Kestrel Institute
+
3260 Hillview Avenue
+
Palo Alto, CA 94041
+
USA
+
 
</pre>
 
</pre>
  
 
==Patrick Cousot ==
 
==Patrick Cousot ==
 
<pre>
 
<pre>
Patrick Cousot
 
Département d'Informatique
 
École normale supérieure
 
45 rue d'Ulm
 
75230 Paris cedex 05
 
France
 
</pre>
 
  
==Willem Paul de Roever ==
 
<pre>
 
</pre>
 
==Michael Ernst ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 
==David Evans ==
 
==David Evans ==
 
<pre>
 
<pre>
David Evans
+
 
151 Engineer's Way
+
Charlottesville, VA 22911
+
USA
+
 
</pre>
 
</pre>
  
 
==Kathi Fisler ==
 
==Kathi Fisler ==
 
<pre>
 
<pre>
Kathi Fisler
+
 
WPI Department of Computer Science
+
100 Institute Road
+
Worcester, MA 01609
+
USA
+
 
</pre>
 
</pre>
  
 
==Kokichi Futatsugi ==
 
==Kokichi Futatsugi ==
 
<pre>
 
<pre>
Kokichi FUTATSUGI
+
 
JAIST, 1-1 Asahidai
+
Nomi, Ishikawa 923-1292
+
Japan
+
 
</pre>
 
</pre>
  
 
==Andy Galloway ==
 
==Andy Galloway ==
 
<pre>
 
<pre>
Andy Galloway.
 
Department of Computer Science,
 
University of York,
 
Heslington,
 
York. YO10 5DD
 
UK
 
</pre>
 
  
==David Gill ==
 
<pre>
 
 
</pre>
 
</pre>
  
==Helen Gill ==
 
<pre>
 
</pre>
 
==Allan Goldberg ==
 
<pre>
 
</pre>
 
 
==Cordell Green==
 
==Cordell Green==
 
<pre>
 
<pre>
Cordell Green
+
 
Kestrel Institute
+
3260 Hillview Avenue
+
Palo Alto, CA 94041
+
USA
+
 
</pre>
 
</pre>
  
 
==Arie Gurfinkel ==
 
==Arie Gurfinkel ==
 
<pre>
 
<pre>
Arie Gurfinkel
 
Software Engineering Institute
 
4500 Fifth Ave
 
Pittsburgh, PA, 15213-2612
 
USA
 
</pre>
 
  
==Masami Hagiya ==
 
<pre>
 
</pre>
 
==Author Hagiya's ==
 
<pre>
 
 
</pre>
 
</pre>
  
 
==Anthony Hall ==
 
==Anthony Hall ==
 
<pre>
 
<pre>
Anthony Hall
+
 
22 Hayward Road
+
Oxford OX2 8LW
+
UK
+
 
</pre>
 
</pre>
  
==Stefan Hallerstede ==
+
 
<pre>
+
 
</pre>
+
==Klaus Havelund ==
+
<pre>
+
</pre>
+
 
==Eric C. R. Hehner ==
 
==Eric C. R. Hehner ==
 
<pre>
 
<pre>
Eric Hehner
+
 
Department of Computer Science
+
University of Toronto
+
40 St.George St.
+
Toronto ON M5S 2E4
+
Canada
+
 
</pre>
 
</pre>
  
 
==Constance Heitmeyer ==
 
==Constance Heitmeyer ==
 
<pre>
 
<pre>
Constance Heitmeyer
+
 
Code 5546
+
Naval Research Laboratory
+
Washington, DC 20375
+
USA
+
 
</pre>
 
</pre>
 +
  
 
==Mike Hinchey ==
 
==Mike Hinchey ==
 
<pre>
 
<pre>
 +
 
</pre>
 
</pre>
 +
 
==Thai Son Hoang ==
 
==Thai Son Hoang ==
 
<pre>
 
<pre>
Thai Son Hoang
+
 
Chair of Information Security
+
IFW C48.2
+
Haldeneggsteig 4 / Weinbergstrasse
+
8092 ETH Zentrum
+
Zurich
+
Switzerland
+
 
</pre>
 
</pre>
  
 
==Tony Hoare ==
 
==Tony Hoare ==
 
<pre>
 
<pre>
 +
 
</pre>
 
</pre>
 +
 
==Gerard Holzmann ==
 
==Gerard Holzmann ==
 
<pre>
 
<pre>
Gerard J. Holzmann
+
 
NASA/JPL Laboratory for Reliable Software MS 301-230
+
4800 Oak Grove Drive
+
Pasadena, CA 91109
+
USA
+
 
</pre>
 
</pre>
  
 
== Peter Vincent Homeier ==
 
== Peter Vincent Homeier ==
 
<pre>
 
<pre>
Peter Vincent Homeier
 
9800 Savage Rd.
 
Fort Meade, MD 20755
 
USA
 
</pre>
 
  
==Andrew Ireland ==
 
<pre>
 
 
</pre>
 
</pre>
  
 
==Frantz Iwu ==
 
==Frantz Iwu ==
 
<pre>
 
<pre>
Dr Frantz Iwu
+
 
Department of Computer Science
+
University of York
+
Heslington
+
York  YO10 5DD
+
United Kingdom
+
 
</pre>
 
</pre>
  
 
==Bart Jacobs ==
 
==Bart Jacobs ==
 
<pre>
 
<pre>
Prof.dr. B.P.F. Jacobs
 
Institute for Computing and Information Sciences (ICIS)
 
Radboud University Nijmegen
 
Heyendaalseweg 135
 
6525 AJ Nijmegen
 
The Netherlands
 
</pre>
 
  
==He Jifeng ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 +
 +
 
==Cliff Jones ==
 
==Cliff Jones ==
 
<pre>
 
<pre>
Prof Cliff Jones
 
School of Computing Science
 
Newcastle University
 
NE1 7RU
 
UK
 
</pre>
 
  
==Mathai Joseph ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 
==Rajeev Joshi ==
 
==Rajeev Joshi ==
 
<pre>
 
<pre>
Rajeev Joshi
+
 
4800 Oak Grove Drive, MS 301-285
+
Pasadena, CA 91109
+
USA
+
 
</pre>
 
</pre>
  
 
==Joseph Kiniry ==
 
==Joseph Kiniry ==
 
<pre>
 
<pre>
Joseph Kiniry
+
 
UCD CASL
+
Belfield Park building #8
+
Dublin 4
+
IRELAND
+
 
</pre>
 
</pre>
  
 
==Daniel Kröning ==
 
==Daniel Kröning ==
 
<pre>
 
<pre>
Prof. Daniel Kröning
+
 
ETH Zentrum RZ H14
+
8092 Zuerich
+
 
</pre>
 
</pre>
  
 
==Patrick Lam ==
 
==Patrick Lam ==
 
<pre>
 
<pre>
Dr. Patrick Lam
+
 
Department of Electrical and Computer Engineering
+
200 University Avenue West
+
Waterloo, Ontario N2L 3G1
+
 
</pre>
 
</pre>
  
 
==Butler Lampson ==
 
==Butler Lampson ==
 
<pre>
 
<pre>
Butler W. Lampson
+
 
180 Lake View Ave.
+
Cambridge MA 02138
+
USA
+
 
</pre>
 
</pre>
  
 
==Gary T. Leavens ==
 
==Gary T. Leavens ==
 
<pre>
 
<pre>
Gary T. Leavens
+
 
Harris Center (Bldg. 116)
+
School of EECS, University of Central Florida
+
4000 Central Florida Blvd.
+
Orlando, FL 32816-2362
+
USA
+
 
</pre>
 
</pre>
  
 
==Rustan Leino ==
 
==Rustan Leino ==
 
<pre>
 
<pre>
Microsoft Research
+
 
One Microsoft Way
+
Redmond, WA 98052
+
USA
+
 
</pre>
 
</pre>
  
 
==Zhiming Liu ==
 
==Zhiming Liu ==
 
<pre>
 
<pre>
UNU-IIST
+
 
P.O. Box 3058
+
Macao (via Hong Kong)
+
 
</pre>
 
</pre>
  
 
==Panagiotis Manolios ==
 
==Panagiotis Manolios ==
 
<pre>
 
<pre>
College of Computer and Information Science
 
Northeastern University
 
360 Huntington Avenue
 
Boston, Massachusetts 02115 U.S.A.
 
</pre>
 
  
==Tiziana Margaria ==
 
<pre>
 
 
</pre>
 
</pre>
  
 
==John McDermid ==
 
==John McDermid ==
 
<pre>
 
<pre>
Professor John McDermid,
 
Department of Computer Science,
 
University of York,
 
Heslington,
 
York. YO10 5DD.
 
UK
 
</pre>
 
  
==Edu Metz ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 +
 
==Bertrand Meyer ==
 
==Bertrand Meyer ==
 
<pre>
 
<pre>
(No need to ship a copy.)
+
 
 
</pre>
 
</pre>
  
 
==Jayadev Misra ==
 
==Jayadev Misra ==
 
<pre>
 
<pre>
Jayadev Misra
+
 
Dept. of Computer Sciences, Taylor Hall
+
Taylor Hall 2.124
+
The University of Texas at Austin
+
Austin, Texas  78712
+
USA
+
 
</pre>
 
</pre>
  
 
==J Moore ==
 
==J Moore ==
 
<pre>
 
<pre>
J Strother Moore
+
 
Department of Computer Sciences
+
Taylor Hall 2.124
+
University of Texas at Austin
+
Austin, TX 78712 USA
+
 
</pre>
 
</pre>
  
 
==Peter Müller ==
 
==Peter Müller ==
 
<pre>
 
<pre>
Peter Müller
+
 
ETH Zürich
+
 
</pre>
 
</pre>
 +
 
==David A. Naumann ==
 
==David A. Naumann ==
 
<pre>
 
<pre>
David Naumann
+
 
Computer Science
+
Stevens Institute of Technology
+
Castle Point on Hudson
+
Hoboken, NJ 07030
+
USA
+
 
</pre>
 
</pre>
  
==Greg Nelson ==
 
<pre>
 
</pre>
 
 
==Collin O'Halloran ==
 
==Collin O'Halloran ==
 
<pre>
 
<pre>
Colin O'Halloran
+
 
33 Geraldine Road
+
Malvern
+
Worcestershire
+
WR14 3NT
+
UK
+
 
</pre>
 
</pre>
  
 
==Peter W. O'Hearn ==
 
==Peter W. O'Hearn ==
 
<pre>
 
<pre>
Peter O'Hearn
+
 
Department of Computer Science
+
Queen Mary, University of London
+
London E1 4NS
+
United Kingdom
+
 
</pre>
 
</pre>
  
==Ernst-Rüdiger Olderog ==
+
 
<pre>
+
 
</pre>
+
 
==Manuel Oriol ==
 
==Manuel Oriol ==
 
<pre>
 
<pre>
Dr. Manuel Oriol
+
 
Chair of Software Engineering
+
ETH Zentrum, RZ J9
+
8092 Zürich
+
Switzerland
+
 
</pre>
 
</pre>
  
 
==Wolfgang Paul ==
 
==Wolfgang Paul ==
 
<pre>
 
<pre>
Prof. Wolfgang Paul
+
 
Informatik
+
Universitaet des Saarlandes
+
66123 Saarbruecken
+
Germany
+
 
</pre>
 
</pre>
  
 
==Amir Pnueli ==
 
==Amir Pnueli ==
 
<pre>
 
<pre>
 +
 
</pre>
 
</pre>
==Sanjiva Prasad ==
+
 
<pre>
+
</pre>
+
==Ganesan Ramalingam ==
+
<pre>
+
</pre>
+
==Mike Reed ==
+
<pre>
+
</pre>
+
 
==Tom Reps ==
 
==Tom Reps ==
 
<pre>
 
<pre>
Thomas Reps
+
 
Computer Sciences Department
+
University of Wisconsin
+
1210 West Dayton Street
+
Madison, WI 53706
+
USA
+
 
</pre>
 
</pre>
  
 
==Tamara Rezk ==
 
==Tamara Rezk ==
 
<pre>
 
<pre>
Tamara Rezk
 
2004, route des lucioles
 
B.P. 93
 
06902 Sophia Antipolis Cedex
 
France
 
</pre>
 
  
==Martin Rinard ==
 
<pre>
 
</pre>
 
==Grigore Rosu ==
 
<pre>
 
</pre>
 
==Harald Ruess ==
 
<pre>
 
</pre>
 
==John Rushby ==
 
<pre>
 
</pre>
 
==Mooly Sagiv ==
 
<pre>
 
</pre>
 
==Author Sagiv's ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 
==Peter Schmitt ==
 
==Peter Schmitt ==
 
<pre>
 
<pre>
Peter H. Schmitt
+
 
Universität Karlsruhe
+
Institut f. Theoretische Informatik
+
Am Fasanengarten 5
+
D-76128 Karlsruhe
+
Germany
+
 
</pre>
 
</pre>
  
==Florian Schneider ==
 
<pre>
 
</pre>
 
 
==Wolfram Schulte ==
 
==Wolfram Schulte ==
 
<pre>
 
<pre>
Wolfram Schulte
+
 
Microsoft Research
+
One Microsoft Way
+
Redmond, WA 98052, USA
+
 
</pre>
 
</pre>
  
==Natarajan Shankar ==
+
==Natarajan Shankar==
 
<pre>
 
<pre>
 +
 
</pre>
 
</pre>
==Natasha Sharygina ==
 
<pre>
 
Prof. Natasha Sharygina
 
  
</pre>
 
==Michel Sintzoff ==
 
<pre>
 
</pre>
 
 
==Douglas Smith ==
 
==Douglas Smith ==
 
<pre>
 
<pre>
Douglas R. Smith
+
 
Kestrel Institute
+
3260 Hillview Avenue
+
Palo Alto, California 94304 USA
+
 
</pre>
 
</pre>
  
 
==Graham Steel ==
 
==Graham Steel ==
 
<pre>
 
<pre>
Graham Steel
+
 
Laboratoire Spécification et Vérification
+
École Normale Supérieure de Cachan
+
61, avenue du Président Wilson
+
94235 CACHAN Cedex - France
+
 
</pre>
 
</pre>
  
==Bernhard Steffen ==
 
<pre>
 
</pre>
 
 
==Ofer Strichman ==
 
==Ofer Strichman ==
 
<pre>
 
<pre>
Ofer Strichman
+
 
The Technion / Industrial Engineering
+
Haifa 32000
+
Israel
+
 
</pre>
 
</pre>
  
 
==Aaron Stump ==
 
==Aaron Stump ==
 
<pre>
 
<pre>
Aaron Stump
+
 
Department of Computer Science
+
The University of Iowa
+
201F MacLean Hall
+
Iowa City, IA 52242-1419
+
USA
+
 
</pre>
 
</pre>
  
 
==Carolyn Talcott ==
 
==Carolyn Talcott ==
 
<pre>
 
<pre>
Carolyn Talcott
 
SRI International
 
333 Ravenswood Avenue
 
Menlo Park, CA 94025, USA
 
</pre>
 
  
==Cesare Tinelli ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 
==Mark Utting ==
 
==Mark Utting ==
 
<pre>
 
<pre>
Mark Utting
+
 
Department of Computer Science
+
The University of Waikato
+
Private Bag 3105
+
Hamilton 3240
+
NEW ZEALAND
+
 
</pre>
 
</pre>
  
 
==Eric Van Wyk==
 
==Eric Van Wyk==
 
<pre>
 
<pre>
Eric Van Wyk
+
 
4-192 EE/CSci Building
+
Dept. of Computer Science and Engineering
+
University of Minnesota
+
200 Union St. SE
+
Minneapolis, MN 55455
+
USA
+
 
</pre>
 
</pre>
  
 
==Helmut Veith ==
 
==Helmut Veith ==
 
<pre>
 
<pre>
Prof. Helmut Veith
+
 
Fachgebiet FORSYTE
+
Fachbereich Informatik
+
Technische Universität Darmstadt
+
Hochschulstr. 10
+
64289 Darmstadt
+
Deutschland
+
 
</pre>
 
</pre>
  
 
==Arnaud Venet ==
 
==Arnaud Venet ==
 
<pre>
 
<pre>
Arnaud Venet
+
 
Kestrel Technology LLC
+
4984 El Camino Real #230
+
Los Altos, CA 94022
+
USA
+
 
</pre>
 
</pre>
  
 
==Laurent Voisin ==
 
==Laurent Voisin ==
 
<pre>
 
<pre>
M. Laurent Voisin
 
Systerel
 
Portes de l'Arbois
 
1090, rue René Descartes
 
13857 Aix-en-Provence Cedex 3
 
FRANCE
 
</pre>
 
  
==Georg Weissenbacher ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 
==Jim Woodcock ==
 
==Jim Woodcock ==
 
<pre>
 
<pre>
Jim Woodcock
+
 
Department of Computer Science
+
University of York
+
Heslington
+
York  YO10 5DD
+
United Kingdom
+
 
</pre>
 
</pre>
  
 
==Eran Yahav ==
 
==Eran Yahav ==
 
<pre>
 
<pre>
Eran Yahav
 
IBM T.J. Watson Research Center
 
19 Skyline Dr.
 
Hawthorne, NY 10532
 
USA
 
</pre>
 
  
==Steve Zdancewic ==
 
<pre>
 
 
</pre>
 
</pre>
 +
 
==Naijun Zhan ==
 
==Naijun Zhan ==
 
<pre>
 
<pre>
Naijun Zhan
+
 
Lab. of Computer Science
+
Institute of Software
+
Chinese Academy of Sciences
+
#4, South Fourth Str., Zhong Guan Cun
+
Beijing, 100190
+
P.R. China
+
 
</pre>
 
</pre>
  
 
==Jian Zhang ==
 
==Jian Zhang ==
 
<pre>
 
<pre>
Prof. Jian Zhang
 
Institute of Software
 
Chinese Academy of Sciences
 
#4, South Fourth Str., Zhong Guan Cun
 
Beijing, 100190
 
P.R. China
 
</pre>
 
  
==Juanjun Zhao ==
 
<pre>
 
 
</pre>
 
</pre>

Latest revision as of 02:57, 4 August 2008

The following is the list of confirmed addresses for the VSTTE 2005 attendees. See here for addresses not yet known.


Rajeev Alur



Myla Archer



Thomas Ball


David Basin


Yves Bertot


Ramesh Bharadwaj



Richard Bornat


Manfred Broy


Tevfik Bultan


Michael Butler


Egon Börger

      

Supratik Chakraborty


Patrice Chalin


Roderick Chapman


Marsha Chechik


Alessandro Coglio


Patrick Cousot


David Evans


Kathi Fisler


Kokichi Futatsugi


Andy Galloway


Cordell Green


Arie Gurfinkel


Anthony Hall



Eric C. R. Hehner


Constance Heitmeyer



Mike Hinchey


Thai Son Hoang


Tony Hoare


Gerard Holzmann


Peter Vincent Homeier


Frantz Iwu


Bart Jacobs



Cliff Jones


Rajeev Joshi


Joseph Kiniry


Daniel Kröning


Patrick Lam


Butler Lampson


Gary T. Leavens


Rustan Leino


Zhiming Liu


Panagiotis Manolios


John McDermid



Bertrand Meyer


Jayadev Misra


J Moore


Peter Müller


David A. Naumann


Collin O'Halloran


Peter W. O'Hearn



Manuel Oriol


Wolfgang Paul


Amir Pnueli


Tom Reps


Tamara Rezk


Peter Schmitt


Wolfram Schulte


Natarajan Shankar


Douglas Smith


Graham Steel


Ofer Strichman


Aaron Stump


Carolyn Talcott


Mark Utting


Eric Van Wyk


Helmut Veith


Arnaud Venet


Laurent Voisin


Jim Woodcock


Eran Yahav


Naijun Zhan


Jian Zhang