StearnsW dowód uznania za przełomową pracę, która ustaliła fundamenty pod dziedzinę teorii złożoności obliczeniowej.1994 Edward Feigenbaum Raj ReddyZa pionierskie projekty i konstrukcje wielkoskalowych systemów sztucznej inteligencji, pokazujące praktyczne znaczenie i potencjalny komercyjny wpływ technologii sztucznej inteligencji.1995 Manuel BlumW dowód uznania za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej.1996 Amir PnueliZa wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.1997 Douglas EngelbartZa inspirującą wizję przyszłości komputerów interaktywnych i wynalezienie kluczowych technologii pomocnych w realizacji tej wizji.1998 James GrayZa wkład w dziedzinie teorii baz danych, szczególnie w dziedzinie przetwarzania transakcyjnego.1999 Frederick P. Brooks Jr.Za wkład w dziedzinie architektury komputerów, systemów operacyjnych i inżynierii oprogramowania.2000 Andrew Chi-Chih YaoZa wkład w rozwój teorii obliczeń, a w szczególności teorii generatorów liczb pseudolosowych, kryptologii i złożoności komunikacyjnej.2001 Ole-Johan Dahl Kristen NygaardZa współtworzenie koncepcji obiektowych języków programowania i opracowania języka Simula.2002 Leonard M. Adleman Ronald L.