1994
Robert McNaughton, RPI

http://www.cs.rpi.edu/people/mcnaughton.html

1995
Anil Nerode,
Cornell University

http://www.math.cornell.edu/~anil/

1996
Andreis van dam,
Brown University

http://www.cs.brown.edu/people/avd/

1997
Amir Pnueli,
Weizmann Institute of Science

http://www.wisdom.weizmann.ac.il/~amir/

1998
Joseph O'Rourke,
Smith College

http://maven.smith.edu/~orourke/

1999
Butler Lampson,
Microsoft Corporation

http://research.microsoft.com/Lampson/

2000
Julia Hirschberg,
AT&T Labs-Research

http://www1.cs.columbia.edu/~julia/

2001
Robin Milner,
Cambridge University

http://www.fairdene.com/picalculus/robinmilner.html

2002
Roger Needham,
Cambridge University

http://research.microsoft.com/users/needham/

2003
Moshe Y. Vardi,
Rice University

http://www.cs.rice.edu/~vardi/

2004
David Clark,
Massachussetts Institute
of Technology

http://www.csail.mit.edu/biographies/PI/bioprint.php?PeopleID=7

2005
Barbara Liskov,
Massachussetts Institute
of Technology

http://www.pmg.csail.mit.edu/~liskov/

Our apologies but we are unable to provide any other information than what is listed above.

Thank you

Back to current page