2000 Gödel Prize
2000 Gödel Prize
Moshe Vardi and Pierre Wolper
The Gödel Prize
Committee, consisting of Kurt Mehlhorn, Amir Pnueli,
Franco Preparata (chair), Janos Simon, Wolfgang Thomas, and Leslie Valiant,
has selected Moshe Vardi and Pierre Wolper
as the recipients of the 2000 Gödel Prize.
for their paper
"Reasoning about infinite computations," Information
and Computation 115 (1994), pp 1-37.
Created by
Ian Parberry,
November 8, 2000.
Last updated
Thu Nov 9 13:54:46 CST 2000