https://dev.eiffel.com/api.php?action=feedcontributions&user=Dsmith17&feedformat=atom
EiffelStudio: an EiffelSoftware project - User contributions [en]
2026-04-22T10:52:58Z
User contributions
MediaWiki 1.24.1
https://dev.eiffel.com/index.php?title=VSTTE_address_check&diff=11425
VSTTE address check
2008-07-22T21:00:11Z
<p>Dsmith17: /* Douglas Smith */</p>
<hr />
<div>__NOTOC__<br />
The following is the list of the addresses that we have for the VSTTE 2005 attendees. The purpose of this page is to make sure we ship the proceedings to the appropriate addresses. The page will be removed as soon as the books have been shipped.<br />
<br />
==HOW TO EDIT YOUR ENTRY==<br />
* You must be logged in first. Use the "Log in / Create account" link at the top-right of this page (in white over the dark blue background of the Eiffel tower picture). Use the user name and password that have been sent to you by email.<br />
* Find your name in the list.<br />
* Click the "Edit" mark to the right of your name.<br />
* You will find yourself in Wiki edit mode and will see two lines of the form <nowiki><pre> and </pre></nowiki>. They delimit your entry.<br />
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.<br />
<br />
Thank you for your cooperation and for making this volume possible.<br />
<br />
-- The VSTTE organization committee<br />
<br />
==<font color="#a00000">SAMPLE ENTRY==<br />
<pre><br />
Bertrand Meyer<br />
Chair of Software Engineering<br />
Clausiusstrasse 59<br />
8092 ETH Zentrum<br />
Zurich<br />
Switzerland<br />
</pre><br />
</font><br />
<br />
==Jean-Raymond Abrial ==<br />
<pre><br />
</pre><br />
==Rajeev Alur ==<br />
<pre><br />
</pre><br />
<br />
==Myla Archer ==<br />
<pre><br />
</pre><br />
==Ralph Back ==<br />
<pre><br />
</pre><br />
==Thomas Ball ==<br />
<pre><br />
</pre><br />
==David Basin ==<br />
<pre><br />
Prof. David Basin<br />
Department of Computer Science<br />
ETH Zurich<br />
8092 ETH Zentrum<br />
Switzerland<br />
</pre><br />
<br />
==Yves Bertot ==<br />
<pre><br />
Yves Bertot<br />
2004, route des lucioles<br />
B.P. 93<br />
06902 Sophia Antipolis Cedex<br />
France<br />
</pre><br />
<br />
==Ramesh Bharadwaj ==<br />
<pre><br />
</pre><br />
==Dines Bjorner ==<br />
<pre><br />
</pre><br />
==Richard Bornat ==<br />
<pre><br />
Dr. Richard Bornat<br />
Middlesex University<br />
School of Computing Science<br />
The Burroughs<br />
LONDON<br />
NW4 4BT<br />
UK<br />
</pre><br />
<br />
==Manfred Broy ==<br />
<pre><br />
Prof. Manfred Broy<br />
Fakultaet fuer Informatik<br />
Technische Universitaet Muenchen<br />
Boltzmannstr. 3<br />
D-85748 Garching<br />
Germany<br />
</pre><br />
<br />
==Tevfik Bultan ==<br />
<pre><br />
Tevfik Bultan<br />
Department of Computer Science <br />
University of California <br />
Santa Barbara, CA 93106-5110<br />
USA<br />
</pre><br />
<br />
==Michael Butler ==<br />
<pre><br />
Michael Butler<br />
Electronics and Computer Science<br />
University of Southampton<br />
Highfield<br />
Southampton SO17 1BJ<br />
United Kingdom<br />
</pre><br />
<br />
==Egon Börger ==<br />
<pre><br />
Prof. Dr. Egon Boerger<br />
Dipartimento di Informatica <br />
Universita di Pisa <br />
Largo Bruno Pontecorvo, n.3<br />
56112 Pisa<br />
Italy <br />
</pre><br />
<br />
==Supratik Chakraborty ==<br />
<pre><br />
Supratik Chakraborty<br />
Dept. of Computer Science and Engg.<br />
I.I.T. Bombay, Powai<br />
Mumbai 400076<br />
Maharashtra<br />
India<br />
</pre><br />
<br />
==Patrice Chalin ==<br />
<pre><br />
Patrice Chalin<br />
Concordia University, EV 3.215<br />
Computer Science and Software Engineering Dept,<br />
1455 de Maisonneuve Blvd. West,<br />
Montreal, Quebec, Canada<br />
H3G 1M8<br />
</pre><br />
<br />
==Roderick Chapman ==<br />
<pre><br />
Roderick Chapman<br />
Praxis High Integrity Systems<br />
20 Manvers Street<br />
Bath<br />
BA1 1PX<br />
UK<br />
</pre><br />
<br />
==Marsha Chechik ==<br />
<pre><br />
Prof. Marsha Chechik<br />
Department of Computer Science<br />
University of Toronto<br />
40 St. George Street, Rm. 3248<br />
Toronto, ON M5S 2E4<br />
Canada<br />
</pre><br />
<br />
==Alessandro Coglio ==<br />
<pre><br />
Alessandro Coglio<br />
Kestrel Institute<br />
3260 Hillview Avenue<br />
Palo Alto, CA 94041<br />
USA<br />
</pre><br />
<br />
==Patrick Cousot ==<br />
<pre><br />
Patrick Cousot<br />
Département d'Informatique<br />
École normale supérieure<br />
45 rue d'Ulm<br />
75230 Paris cedex 05<br />
France<br />
</pre><br />
<br />
==Willem Paul de Roever ==<br />
<pre><br />
</pre><br />
==Michael Ernst ==<br />
<pre><br />
</pre><br />
==David Evans ==<br />
<pre><br />
</pre><br />
==Kathi Fisler ==<br />
<pre><br />
Kathi Fisler<br />
WPI Department of Computer Science<br />
100 Institute Road<br />
Worcester, MA 01609<br />
USA<br />
</pre><br />
<br />
==Kokichi Futatsugi ==<br />
<pre><br />
</pre><br />
<br />
==Andy Galloway ==<br />
<pre><br />
</pre><br />
<br />
==David Gill ==<br />
<pre><br />
</pre><br />
==Helen Gill ==<br />
<pre><br />
</pre><br />
==Allan Goldberg ==<br />
<pre><br />
</pre><br />
==Cordell Green==<br />
<pre><br />
Cordell Green<br />
Kestrel Institute<br />
3260 Hillview Avenue<br />
Palo Alto, CA 94041<br />
USA<br />
</pre><br />
<br />
==Arie Gurfinkel ==<br />
<pre><br />
Arie Gurfinkel<br />
Software Engineering Institute<br />
4500 Fifth Ave<br />
Pittsburgh, PA, 15213-2612<br />
USA<br />
</pre><br />
<br />
==Masami Hagiya ==<br />
<pre><br />
</pre><br />
==Author Hagiya's ==<br />
<pre><br />
</pre><br />
<br />
==Anthony Hall ==<br />
<pre><br />
Anthony Hall<br />
22 Hayward Road<br />
Oxford OX2 8LW<br />
UK<br />
</pre><br />
<br />
==Stefan Hallerstede ==<br />
<pre><br />
</pre><br />
==Klaus Havelund ==<br />
<pre><br />
</pre><br />
==Eric C. R. Hehner ==<br />
<pre><br />
Eric Hehner<br />
Department of Computer Science<br />
University of Toronto<br />
40 St.George St.<br />
Toronto ON M5S 2E4<br />
Canada<br />
</pre><br />
<br />
==Constance Heitmeyer ==<br />
<pre><br />
Constance Heitmeyer<br />
Code 5546<br />
Naval Research Laboratory<br />
Washington, DC 20375<br />
USA<br />
</pre><br />
<br />
==Mike Hinchey ==<br />
<pre><br />
</pre><br />
==Thai Son Hoang ==<br />
<pre><br />
Thai Son Hoang<br />
Chair of Information Security<br />
IFW C48.2<br />
Haldeneggsteig 4 / Weinbergstrasse<br />
8092 ETH Zentrum<br />
Zurich<br />
Switzerland<br />
</pre><br />
<br />
==Tony Hoare ==<br />
<pre><br />
</pre><br />
==Gerard Holzmann ==<br />
<pre><br />
Gerard J. Holzmann<br />
NASA/JPL Laboratory for Reliable Software MS 301-230<br />
4800 Oak Grove Drive<br />
Pasadena, CA 91109<br />
USA<br />
</pre><br />
<br />
==Vincent Homeier ==<br />
<pre><br />
</pre><br />
==Andrew Ireland ==<br />
<pre><br />
</pre><br />
<br />
==Frantz Iwu ==<br />
<pre><br />
Dr Frantz Iwu<br />
Department of Computer Science<br />
University of York<br />
Heslington<br />
York YO10 5DD<br />
United Kingdom<br />
</pre><br />
<br />
==Bart Jacobs ==<br />
<pre><br />
Prof.dr. B.P.F. Jacobs<br />
Institute for Computing and Information Sciences (ICIS)<br />
Radboud University Nijmegen<br />
Heyendaalseweg 135<br />
6525 AJ Nijmegen<br />
The Netherlands <br />
</pre><br />
<br />
==He Jifeng ==<br />
<pre><br />
</pre><br />
==Cliff Jones ==<br />
<pre><br />
Prof Cliff Jones<br />
School of Computing Science<br />
Newcastle University<br />
NE1 7RU<br />
UK<br />
</pre><br />
<br />
==Mathai Joseph ==<br />
<pre><br />
</pre><br />
==Rajeev Joshi ==<br />
<pre><br />
Rajeev Joshi<br />
4800 Oak Grove Drive, MS 301-285<br />
Pasadena, CA 91109<br />
USA<br />
</pre><br />
<br />
==Joseph Kiniry ==<br />
<pre><br />
Joseph Kiniry<br />
UCD CASL<br />
Belfield Park building #8<br />
Dublin 4<br />
IRELAND<br />
</pre><br />
<br />
==Daniel Kröning ==<br />
<pre><br />
Prof. Daniel Kröning<br />
ETH Zentrum RZ H14<br />
8092 Zuerich<br />
</pre><br />
<br />
==Patrick Lam ==<br />
<pre><br />
Dr. Patrick Lam<br />
Department of Electrical and Computer Engineering<br />
200 University Avenue West<br />
Waterloo, Ontario N2L 3G1<br />
</pre><br />
<br />
==Butler Lampson ==<br />
<pre><br />
Butler W. Lampson <br />
180 Lake View Ave.<br />
Cambridge MA 02138<br />
USA<br />
</pre><br />
<br />
==Gary T. Leavens ==<br />
<pre><br />
Gary T. Leavens<br />
Harris Center (Bldg. 116)<br />
School of EECS, University of Central Florida<br />
4000 Central Florida Blvd.<br />
Orlando, FL 32816-2362 <br />
USA<br />
</pre><br />
<br />
==Rustan Leino ==<br />
<pre><br />
</pre><br />
==Zhiming Liu ==<br />
<pre><br />
</pre><br />
==Panagiotis Manolios ==<br />
<pre><br />
College of Computer and Information Science<br />
Northeastern University<br />
360 Huntington Avenue<br />
Boston, Massachusetts 02115 U.S.A.<br />
</pre><br />
<br />
==Tiziana Margaria ==<br />
<pre><br />
</pre><br />
<br />
==John McDermid ==<br />
<pre><br />
</pre><br />
<br />
==Edu Metz ==<br />
<pre><br />
</pre><br />
==Bertrand Meyer ==<br />
<pre><br />
</pre><br />
==Jayadev Misra ==<br />
<pre><br />
</pre><br />
==J Moore ==<br />
<pre><br />
J Strother Moore<br />
Department of Computer Sciences<br />
Taylor Hall 2.124<br />
University of Texas at Austin<br />
Austin, TX 78712 USA<br />
</pre><br />
<br />
==Peter Müller ==<br />
<pre><br />
</pre><br />
==David A. Naumann ==<br />
<pre><br />
David Naumann<br />
Computer Science<br />
Stevens Institute of Technology<br />
Castle Point on Hudson<br />
Hoboken, NJ 07030 <br />
USA<br />
</pre><br />
<br />
==Greg Nelson ==<br />
<pre><br />
</pre><br />
==Collin O'Halloran ==<br />
<pre><br />
Colin O'Halloran<br />
33 Geraldine Road<br />
Malvern<br />
Worcestershire<br />
WR14 3NT<br />
UK<br />
</pre><br />
<br />
==Peter W. O'Hearn ==<br />
<pre><br />
Peter O'Hearn<br />
Department of Computer Science<br />
Queen Mary, University of London<br />
London E1 4NS<br />
United Kingdom<br />
</pre><br />
<br />
==Ernst-Rüdiger Olderog ==<br />
<pre><br />
</pre><br />
==Manuel Oriol ==<br />
<pre><br />
Dr. Manuel Oriol<br />
Chair of Software Engineering<br />
ETH Zentrum, RZ J9<br />
8092 Zürich<br />
Switzerland<br />
</pre><br />
<br />
==Wolfgang Paul ==<br />
<pre><br />
</pre><br />
==Amir Pnueli ==<br />
<pre><br />
</pre><br />
==Sanjiva Prasad ==<br />
<pre><br />
</pre><br />
==Ganesan Ramalingam ==<br />
<pre><br />
</pre><br />
==Mike Reed ==<br />
<pre><br />
</pre><br />
==Tom Reps ==<br />
<pre><br />
Thomas Reps<br />
Computer Sciences Department<br />
University of Wisconsin<br />
1210 West Dayton Street<br />
Madison, WI 53706<br />
USA<br />
</pre><br />
<br />
==Tamara Rezk ==<br />
<pre><br />
</pre><br />
==Martin Rinard ==<br />
<pre><br />
</pre><br />
==Grigore Rosu ==<br />
<pre><br />
</pre><br />
==Harald Ruess ==<br />
<pre><br />
</pre><br />
==John Rushby ==<br />
<pre><br />
</pre><br />
==Mooly Sagiv ==<br />
<pre><br />
</pre><br />
==Author Sagiv's ==<br />
<pre><br />
</pre><br />
==Peter Schmitt ==<br />
<pre><br />
</pre><br />
==Florian Schneider ==<br />
<pre><br />
</pre><br />
==Wolfram Schulte ==<br />
<pre><br />
Wolfram Schulte<br />
Microsoft Research<br />
One Microsoft Way<br />
Redmond, WA 98052, USA<br />
</pre><br />
<br />
==Natarajan Shankar ==<br />
<pre><br />
</pre><br />
==Natasha Sharygina ==<br />
<pre><br />
</pre><br />
==Michel Sintzoff ==<br />
<pre><br />
</pre><br />
==Douglas Smith ==<br />
<pre><br />
Douglas R. Smith<br />
Kestrel Institute <br />
3260 Hillview Avenue <br />
Palo Alto, California 94304 USA<br />
</pre><br />
<br />
==Graham Steel ==<br />
<pre><br />
Graham Steel<br />
Laboratoire Spécification et Vérification<br />
École Normale Supérieure de Cachan<br />
61, avenue du Président Wilson<br />
94235 CACHAN Cedex - France <br />
</pre><br />
<br />
==Bernhard Steffen ==<br />
<pre><br />
</pre><br />
==Ofer Strichman ==<br />
<pre><br />
Ofer Strichman<br />
The Technion / Industrial Engineering<br />
Haifa 32000<br />
Israel<br />
</pre><br />
<br />
==Aaron Stump ==<br />
<pre><br />
Aaron Stump<br />
Department of Computer Science<br />
The University of Iowa<br />
201F MacLean Hall<br />
Iowa City, IA 52242-1419<br />
USA<br />
</pre><br />
<br />
==Carolyn Talcott ==<br />
<pre><br />
Carolyn Talcott<br />
SRI International<br />
333 Ravenswood Avenue<br />
Menlo Park, CA 94025, USA<br />
</pre><br />
<br />
==Cesare Tinelli ==<br />
<pre><br />
</pre><br />
==Mark Utting ==<br />
<pre><br />
Mark Utting<br />
Department of Computer Science<br />
The University of Waikato<br />
Private Bag 3105<br />
Hamilton 3240<br />
NEW ZEALAND<br />
</pre><br />
<br />
==Eric Van Wyk==<br />
<pre><br />
Eric Van Wyk<br />
4-192 EE/CSci Building<br />
Dept. of Computer Science and Engineering<br />
University of Minnesota<br />
200 Union St. SE<br />
Minneapolis, MN 55455<br />
USA<br />
</pre><br />
<br />
==Helmut Veith ==<br />
<pre><br />
</pre><br />
==Arnaud Venet ==<br />
<pre><br />
</pre><br />
==Laurent Voisin ==<br />
<pre><br />
M. Laurent Voisin<br />
Systerel<br />
Portes de l'Arbois<br />
1090, rue René Descartes<br />
13857 Aix-en-Provence Cedex 3<br />
FRANCE<br />
</pre><br />
<br />
==Georg Weissenbacher ==<br />
<pre><br />
</pre><br />
==Jim Woodcock ==<br />
<pre><br />
Jim Woodcock<br />
Department of Computer Science<br />
University of York<br />
Heslington<br />
York YO10 5DD<br />
United Kingdom<br />
</pre><br />
<br />
==Eran Yahav ==<br />
<pre><br />
Eran Yahav<br />
IBM T.J. Watson Research Center<br />
19 Skyline Dr.<br />
Hawthorne, NY 10532<br />
USA<br />
</pre><br />
<br />
==Steve Zdancewic ==<br />
<pre><br />
</pre><br />
==Naijun Zhan ==<br />
<pre><br />
Naijun Zhan<br />
Lab. of Computer Science<br />
Institute of Software<br />
Chinese Academy of Sciences<br />
#4, South Fourth Str., Zhong Guan Cun<br />
Beijing, 100190<br />
P.R. China<br />
</pre><br />
<br />
==Jian Zhang ==<br />
<pre><br />
Prof. Jian Zhang<br />
Institute of Software<br />
Chinese Academy of Sciences<br />
#4, South Fourth Str., Zhong Guan Cun<br />
Beijing, 100190<br />
P.R. China<br />
</pre><br />
<br />
==Juanjun Zhao ==<br />
<pre><br />
</pre></div>
Dsmith17