Karp wprowadził nową metodologię dowodzenia NP-zupełności problemów, co pozwoliło zidentyfikować wiele zagadnień teoretycznych jako trudne obliczeniowo.1986 John Hopcroft Robert TarjanZa fundamentalny wkład w projektowanie i analizę algorytmów i struktur danych.1987 John CockeZa znaczący wkład w teorię i projektowanie kompilatorów, w architekturę dużych systemów i w rozwój architektury RISC; za wynalezienie i usystematyzowanie podstawowych przekształceń optymalizacyjnych używanych obecnie w kompilatorach: redukcję siły operatorów (ang. reduction of operator strength), eliminację wspólnych podwyrażeń (ang. elimination of common subexpressions), alokację rejestrów (ang. register allocation), propagację stałych (ang. constant propagation) i eliminację nieużytecznego kodu (ang. dead code elimination).1988 Ivan SutherlandZa pionierski i wizjonerski wkład w grafikę komputerową, którego początkiem był Sketchpad i jego dalszą kontynuację.1989 William KahanZa istotny wkład w analizę numeryczną. Czołowy ekspert od obliczania liczb zmiennoprzecinkowych. Kahan oddał się sprawie „zrobienia bezpiecznego świata dla obliczeń liczbowych”.1990 Fernando J.