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