CoddZa zasadniczy i trwały wkład w teorię i praktykę systemu zarządzania bazą danych a zwłaszcza w model baz danych oparty na postulatach relacyjności.1982 Stephen A. CookZa postęp w zrozumieniu teorii złożoności obliczeniowej w sposób znaczący i dogłębny.1983 Dennis Ritchie Ken ThompsonZa ogólny rozwój teorii systemów operacyjnych, a szczególnie za napisanie systemu operacyjnego Unix.1984 Niklaus WirthZa rozwinięcie szeregu nowatorskich języków programowania Euler, Algol W, Pascal i Modula. Pascal stał się językiem ważnym z punktu widzenia edukacji, a także podstawą do dalszych badań nad językami, systemami i architekturami komputerowymi.1985 Richard M. KarpZa trwały wkład w teorię algorytmów, włącznie z rozwojem wydajnych algorytmów dla problemu przepływu w sieciach oraz innych problemów optymalizacji kombinatorycznej, identyfikację wielomianowego czasu wykonania z intuicyjnym pojęciem algorytmicznej wydajności i to, co najbardziej znaczące, wkład w teorię NP-zupełności.