튜링상

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

튜링상은 컴퓨터 과학 분야의 최고 권위를 인정받는 상으로, 1966년 제정되어 매년 컴퓨터 과학 분야에 혁혁한 공헌을 한 인물에게 수여된다. 앨런 펄리스를 시작으로, 1970년대 에츠허르 데이크스트라, 도널드 커누스, 1980년대 토니 호어, 1990년대 버틀러 램슨, 2000년대 빈트 서프, 로버트 칸, 2010년대 레슬리 밸리언트, 2020년대 앨프리드 에이호, 제프리 울만 등 컴퓨터 과학 발전에 지대한 영향을 미친 다양한 인물들이 수상했다.

튜링상 - [상(Prize)]에 관한 문서
기본 정보
앨런 튜링, 상의 이름의 유래
앨런 튜링, 상의 이름의 유래
수여 목적컴퓨터 과학 분야의 뛰어난 공헌
주최 기관컴퓨터 기기 협회 (ACM)
국가미국
상금100만 미국 달러
최근 연도2023년
웹사이트ACM 튜링상 공식 웹사이트
📚 더 읽어볼만한 페이지
  • 컴퓨터 과학상 - 괴델상
    괴델상은 이론 컴퓨터 과학 분야의 뛰어난 업적을 기리기 위해 1993년부터 매년 수여되는 상이다.
  • 컴퓨터 과학상 - SIGCOMM상
  • ACM - SIGCHI
    SIGCHI는 인간-컴퓨터 상호 작용(HCI) 분야를 다루는 ACM의 특별 관심 그룹으로, 학술 연구와 커뮤니티 발전에 기여하며 컨퍼런스 개최, 수상, 기금 운영 등의 활동을 한다.
  • ACM - SIGGRAPH
    SIGGRAPH는 컴퓨터 그래픽스 기술을 선보이는 국제 컨퍼런스로, 논문 발표, 전시, 교육 프로그램 등 다양한 행사와 스티븐 앤슨 쿤스 상 시상, 그리고 아시아 지역에서 SIGGRAPH Asia 컨퍼런스를 개최한다.
  • 앨런 튜링 - 튜링 테스트
  • 앨런 튜링 - 이미테이션 게임

2. 역사

튜링상은 컴퓨터 과학 분야에서 중요한 업적을 남긴 인물에게 수여되는 권위 있는 상으로, 앨런 튜링을 기리기 위해 1966년 미국 컴퓨터 학회(ACM)에 의해 제정되었다. 첫 시상은 1966년에 이루어졌으며, 이후 매년 컴퓨터 과학의 다양한 분야에서 혁신적인 공헌을 한 연구자들에게 수여되고 있다. 초기에는 프로그래밍, 컴파일러, 운영 체제 등 컴퓨터 과학의 기초 분야에 대한 공로가 주를 이루었으나, 시간이 흐르면서 인공지능, 데이터베이스, 암호학, 컴퓨터 네트워크, 컴퓨터 그래픽스, 이론 컴퓨터 과학 등 점차 세분화되고 발전하는 컴퓨터 과학의 여러 영역으로 수상 분야가 확대되었다. 2006년에는 프랜시스 앨런고성능 컴퓨팅 분야에서의 공로를 인정받아 최초의 여성 수상자가 되었다.

2.1. 초기 역사

튜링상은 컴퓨터 과학 분야에서 중요한 공헌을 한 인물에게 수여되는 상으로, 1966년에 처음 시상되었다.

첫 수상자는 앨런 펄리스로, 첨단 컴퓨터 프로그래밍 기술과 컴파일러 구축 분야에 기여한 공로를 인정받았다. 1967년에는 모리스 윌크스가 수상했는데, 그는 내부적으로 저장된 컴퓨터 프로그램을 갖춘 초기 컴퓨터 중 하나인 EDSAC을 설계하고 제작했으며, 프로그램 라이브러리 개념을 소개한 것으로도 알려져 있다.

모리스 윌크스
모리스 윌크스


1968년 수상자인 리처드 해밍은 수치 해석, 자동 코딩 시스템, 그리고 오류 감지 및 수정 부호 연구에 기여했다. 이듬해인 1969년에는 마빈 민스키인공지능 분야를 만들고 발전시키는 데 핵심적인 역할을 한 공로로 수상했다.
마빈 민스키
마빈 민스키


1970년에는 제임스 H. 윌킨슨이 고속 디지털 컴퓨터 사용을 용이하게 한 수치 해석 연구, 특히 선형 대수학과 '역' 오류 분석에서의 공로를 인정받아 수상했다. 1971년 수상자인 존 매카시 역시 인공지능 분야에 상당한 기여를 한 인물이다.
존 매카시
존 매카시


1972년에는 에츠허르 데이크스트라가 수상했다. 그는 고급 프로그래밍 언어인 ALGOL 개발에 핵심적인 기여를 했고, 프로그래밍 언어의 구조, 표현 및 구현에 대한 이해를 크게 증진시켰다. 그의 연구는 그래프 이론을 포함한 다양한 이론적 논문부터 프로그래밍 언어 분야의 철학적 고찰까지 아우른다.
에츠허르 데이크스트라
에츠허르 데이크스트라


1973년에는 찰스 바크만데이터베이스 기술 분야에서의 뛰어난 공헌으로 수상했다. 이듬해인 1974년에는 도널드 커누스알고리즘 분석과 프로그래밍 언어 설계에 대한 주요 기여, 특히 그의 저서 "The Art of Computer Programming"으로 수상의 영예를 안았다.
찰스 바크만
찰스 바크만

도널드 커누스
도널드 커누스


1975년에는 앨런 뉴얼허버트 사이먼이 공동으로 수상했다. 이들은 인공지능, 인간 인지 심리학, 리스트 처리 분야에 근본적인 기여를 했다. 1976년에는 미하엘 라빈데이나 스콧이 공동 수상자로 선정되었다. 그들의 공동 논문 '유한 오토마타와 그들의 결정 문제'는 비결정적 기계의 개념을 도입했으며, 이는 후속 연구에 지속적인 영감을 주었다.
허버트 사이먼
허버트 사이먼

미하엘 라빈
미하엘 라빈

데이나 스콧
데이나 스콧


1977년 수상자인 존 배커스는 실용적인 고급 프로그래밍 시스템 설계에 대한 심오하고 영향력 있는 기여, 특히 FORTRAN 작업과 프로그래밍 언어의 지정을 위한 공식 절차 발표에 기여했다. 1978년에는 로버트 플로이드가 효율적이고 신뢰할 수 있는 소프트웨어 생성 방법론에 명확한 영향을 미치고, 파싱 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그래밍, 알고리즘 분석과 같은 중요한 컴퓨터 과학 하위 분야를 정립하는 데 기여했다. 1979년에는 케네스 아이버슨이 프로그래밍 언어 및 수학적 표기법에 대한 선구적인 노력으로 현재 APL로 알려진 것을 만들었으며, 대화형 시스템 구현, APL의 교육적 사용, 프로그래밍 언어 이론 및 실천에 기여했다.
존 배커스
존 배커스

2.2. 발전 과정

튜링상은 초기에 컴퓨터 프로그래밍 기술과 컴파일러 구축 분야(1966년 앨런 펄리스), 저장 프로그램 방식 컴퓨터 및 프로그램 라이브러리 개념(1967년 모리스 윌크스), 수치 해석 및 오류 감지 및 수정 부호(1968년 리처드 해밍) 등 컴퓨터 과학의 기초적인 영역에서 시작되었다.

시간이 흐르면서 컴퓨터 기술의 발전과 함께 수상 분야도 점차 다양해졌다. 1969년 마빈 민스키인공지능(AI) 분야를 만들고 발전시킨 공로로 수상하며, AI가 튜링상의 중요한 분야로 자리매김하는 계기가 되었다. 이후 1971년 존 매카시, 1975년 앨런 뉴얼허버트 사이먼, 1994년 에드워드 파이겐바움과 라지 레디, 2011년 유디 펄 등이 AI 관련 연구로 수상했다.

데이터베이스 기술 역시 중요한 분야로 부상했다. 1973년 찰스 바크만이 데이터베이스 기술에 대한 기여로 수상했고, 1981년 에드거 F. 코드는 관계형 데이터베이스 이론 정립에 대한 공로를 인정받았다. 1998년 짐 그레이는 데이터베이스 및 트랜잭션 처리 연구에 기여했으며, 2014년 마이클 스톤브레이커는 현대 데이터베이스 시스템의 기초 개념과 실천에 기여한 공로로 수상했다.

컴퓨터 그래픽스 분야에서는 1988년 이반 서덜랜드가 Sketchpad 개발 등 선구적인 기여로 수상하며 해당 분야의 중요성을 알렸다.

암호학 분야의 중요성도 커졌다. 1995년 마누엘 블룸은 계산 복잡성 이론의 기초와 암호학 응용에 기여했으며, 2002년에는 공개 키 암호화를 실용화한 RSA 암호 개발 공로로 론 리베스트, 아디 샤미르, 레오나드 에이들먼이 공동 수상했다. 2012년 실비오 미칼리와 샤피 골드와서는 암호학의 과학적 기초를 마련한 공로로, 2015년 휫필드 디피와 마틴 헬만은 공개 키 암호화와 디지털 서명 개념을 도입한 공로로 수상했다.

이 외에도 알고리즘 분석 및 설계(도널드 커누스, 1974; 존 홉크로프트로버트 타잔, 1986), 프로그래밍 언어 설계(존 배커스, 1977; 니클라우스 비르트, 1984; 로빈 밀너, 1991), 운영 체제(켄 톰프슨과 데니스 리치, 1983), 계산 복잡성 이론(스티븐 쿡, 1982; 리처드 카프, 1985; 유리스 하르트마니스와 리처드 스턴스, 1993), 객체 지향 프로그래밍(올레요한 달과 크리스텐 니가르드, 2001; 앨런 케이, 2003), 인터넷 프로토콜(빈트 서프와 밥 칸, 2004), 월드 와이드 웹(팀 버너스리, 2016) 등 컴퓨터 과학의 다양한 세부 분야로 수상 범위가 확장되어 왔다. 이는 컴퓨터 과학 기술의 발전과 사회적 영향력 확대를 반영하는 결과이다.

3. 역대 수상자

wikitext
{| class="wikitable sortable"
|+ ACM 튜링상 수상자
! scope="col" | 연도
! scope="col" | 수상자
! scope="col" class="unsortable" | 사진
! scope="col" class="unsortable" | 선정 사유
! scope="col" | 소속 기관
|-
! scope="row" | 1966
| 앨런 펄리스
| style="text-align: center;" | —
|"첨단 컴퓨터 프로그래밍 기술과 컴파일러 구축 분야에 기여한 공로"
|카네기 멜론 대학교
|-
! scope="row" | 1967
| 모리스 윌크스
|

Maurice Wilkes
Maurice Wilkes

|"Wilkes는 내부적으로 저장된 컴퓨터 프로그램을 갖춘 두 번째 컴퓨터인 EDSAC의 제작자이자 설계자로 가장 잘 알려져 있습니다. 1949년에 제작된 EDSAC는 수은 지연선 메모리를 사용했습니다. 그는 또한 데이비드 휠러 및 스탠리 길과 함께 1951년에 '전자 디지털 컴퓨터를 위한 프로그램 준비'라는 저서를 저술한 것으로도 알려져 있으며, 이 책에서 라이브러리가 효과적으로 소개되었습니다."
|케임브리지 대학교
|-
! scope="row" | 1968
| 리처드 해밍
| style="text-align: center;" | —
|"수치 해석, 자동 코딩 시스템, 오류 감지 및 수정에 기여한 공로"
|벨 연구소
|-
! scope="row" | 1969
| 마빈 민스키
|
Marvin Minsky
Marvin Minsky

|"인공지능 분야를 만들고, 형성하고, 홍보하고 발전시키는 데 핵심적인 역할을 한 공로"
|매사추세츠 공과대학교
|-
! scope="row" | 1970
| 제임스 H. 윌킨슨
| style="text-align: center;" | —
|"고속 디지털 컴퓨터의 사용을 용이하게 하기 위한 그의 수치 해석 연구, 특히 선형 대수학과 '역' 오류 분석에서의 그의 작업에 대한 특별한 인정을 받은 공로"
|영국 국립 물리 연구소
|-
! scope="row" | 1971
| 존 매카시
|
John McCarthy
John McCarthy

|"McCarthy의 강연 '인공 지능 연구의 현재 상태'는 그가 상당한 인정을 받은 분야를 다루고 있습니다."
|스탠퍼드 대학교
|-
! scope="row" | 1972
| 에츠허르 데이크스트라
|
Edsger W. Dijkstra
Edsger W. Dijkstra

|"Edsger Dijkstra는 1950년대 후반에 명확성과 수학적 엄격함의 모델이 된 고급 프로그래밍 언어인 ALGOL 개발에 핵심적인 기여를 했습니다. 그는 프로그래밍 언어의 과학과 기술의 주요 지지자 중 한 명이며, 프로그래밍 언어의 구조, 표현 및 구현에 대한 이해에 크게 기여했습니다. 그의 15년간의 출판물은 그래프 이론에 관한 이론적 논문에서 기본 매뉴얼, 해설 텍스트 및 프로그래밍 언어 분야의 철학적 고찰에 이르기까지 다양합니다."
|Centrum Wiskunde & Informatica,
에인트호번 공과대학교,
텍사스 대학교 오스틴
|-
! scope="row" | 1973
| 찰스 바크만
|
Charles Bachman
Charles Bachman

|"데이터베이스 기술에 대한 그의 뛰어난 기여"
|General Electric Research Laboratory (현재 Groupe Bull, Atos 회사)
|-
! scope="row" | 1974
| 도널드 커누스
|
Donald Knuth
Donald Knuth

|"알고리즘 분석과 프로그래밍 언어 설계에 대한 그의 주요 기여, 특히 이 제목으로 알려진 그의 연속적인 저서인 "The Art of Computer Programming"에 기여한 공로"
|캘리포니아 공과대학교,
통신 연구 센터, 통신 및 컴퓨팅 센터, 국방 연구소,
스탠퍼드 대학교
|-
! scope="rowgroup" rowspan=2|1975
| 앨런 뉴얼
| style="text-align: center;" | —
|rowspan=2|"20년에 걸친 공동 과학적 노력으로, 처음에는 RAND Corporation의 J. C. Shaw와 협력하여, 그 후 카네기 멜론 대학교의 수많은 교수진 및 학생 동료들과 함께 인공 지능, 인간 인지 심리학, 리스트 처리에 근본적인 기여를 했습니다."
|rowspan=2|RAND Corporation,
카네기 멜론 대학교
|-
| 허버트 사이먼
|
Herbert A. Simon
Herbert A. Simon

|-
! scope="rowgroup" rowspan=2|1976
| 미하엘 라빈
|
Michael O. Rabin
Michael O. Rabin

|rowspan=2|"그들의 공동 논문 '유한 오토마타와 그들의 결정 문제'는 비결정 기계의 개념을 도입했으며, 이 분야에서 후속 작업에 지속적인 영감을 주었습니다"
|프린스턴 대학교
|-
| 데이나 스콧
|
Dana Scott
Dana Scott

|시카고 대학교
|-
! scope="row" | 1977
| 존 배커스
|
John Backus
John Backus

|"실용적인 고급 프로그래밍 시스템 설계에 대한 심오하고 영향력 있으며 지속적인 기여, 특히 FORTRAN 작업과 프로그래밍 언어의 지정을 위한 획기적인 공식 절차 발표"
|IBM
|-
! scope="row" | 1978
| 로버트 플로이드
| style="text-align: center;" | —
|"효율적이고 신뢰할 수 있는 소프트웨어 생성 방법론에 명확한 영향을 미치고, 컴퓨터 과학의 다음과 같은 중요한 하위 분야를 설립하는 데 기여한 공로: 파싱 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그래밍, 알고리즘 분석"
|카네기 멜론 대학교,
스탠퍼드 대학교
|-
! scope="row" | 1979
| 케네스 아이버슨
| style="text-align: center;" | —
|"프로그래밍 언어 및 수학적 표기법에 대한 그의 선구적인 노력으로 컴퓨터 분야에서 현재 APL로 알려진 것, 대화형 시스템 구현에 대한 그의 기여, APL의 교육적 사용, 프로그래밍 언어 이론 및 실천에 대한 공로"
|IBM
|-
! scope="row" | 1980
| 토니 호어
|
Tony Hoare
Tony Hoare

|"프로그래밍 언어의 정의 및 설계에 대한 그의 근본적인 기여"
|벨파스트 퀸즈 대학교,
옥스퍼드 대학교
|-
! scope="row" | 1981
| 에드거 F. 커드
| style="text-align: center;" | —
|"데이터베이스 관리 시스템, 특히 관계형 데이터베이스의 이론과 실제에 대한 그의 근본적이고 지속적인 기여"
|IBM
|-
! scope="row" | 1982
| 스티븐 쿡
|
Stephen Cook
Stephen Cook

|"컴퓨팅의 복잡성에 대한 우리의 이해를 중요하고 심오한 방식으로 발전시킨 공로"
|토론토 대학교
|-
! scope="rowgroup" rowspan=2|1983
| 켄 톰프슨
|
Ken Thompson
Ken Thompson

|rowspan=2|"일반적인 운영 체제 이론 개발과 특히 UNIX 운영 체제 구현에 대한 공로"
|rowspan=2|벨 연구소
|-
| 데니스 리치
|
Dennis Ritchie
Dennis Ritchie

|-
! scope="row" | 1984
| 니클라우스 비르트
|
Niklaus Wirth
Niklaus Wirth

|"일련의 혁신적인 컴퓨터 언어, EULER, ALGOL-W, Pascal, MODULA 및 Oberon을 개발한 공로"
|스탠퍼드 대학교,
취리히 대학교,
ETH 취리히
|-
! scope="row" | 1985
| 리처드 카프
|
Richard M. Karp
Richard M. Karp

|"알고리즘 이론에 대한 그의 지속적인 기여, 특히 네트워크 흐름 문제 및 기타 조합 최적화 문제에 대한 효율적인 알고리즘 개발, 다항 시간 계산 가능성을 알고리즘 효율성에 대한 직관적인 개념으로 식별, 그리고 특히 NP-완전성 이론에 대한 기여"
|캘리포니아 대학교 버클리
|-
! scope="rowgroup" rowspan=2|1986
| 존 홉크로프트
|
John Hopcroft
John Hopcroft

|rowspan=2|"알고리즘과 데이터 구조의 설계 및 분석에 대한 근본적인 업적"
|코넬 대학교
|-
| 로버트 타잔
|
Robert Tarjan
Robert Tarjan

|스탠퍼드 대학교,
코넬 대학교,
캘리포니아 대학교 버클리,
프린스턴 대학교
|-
! scope="row" | 1987
| 존 코크
| style="text-align: center;" | —
|"컴파일러 설계 및 이론, 대규모 시스템 아키텍처 및 RISC 개발에 대한 중요한 기여"
|IBM
|-
! scope="row" | 1988
| 아이번 서덜랜드
|
Ivan Sutherland
Ivan Sutherland

|"Sketchpad를 시작으로 컴퓨터 그래픽스에 대한 그의 선구적이고 선구적인 기여, 그리고 그 이후의 기여"
|스탠퍼드 대학교,
하버드 대학교,
유타 대학교,
캘리포니아 공과대학교
|-
! scope="row" | 1989
| 윌리엄 카한
|
William Kahan
William Kahan

|"수치 해석에 대한 그의 근본적인 기여. 부동 소수점 산술에 대한 최고의 전문가 중 한 명인 Kahan은 '수치 계산의 안전을 위해 세계를 만들자!'에 헌신했습니다."
|캘리포니아 대학교 버클리
|-
! scope="row" | 1990
| 페르난도 J. 코바토
|
Fernando J. Corbató
Fernando J. Corbató

|"범용, 대규모, 시분할 및 자원 공유 컴퓨터 시스템인 CTSS 및 Multics의 개념을 조직하고 개발을 이끈 그의 선구적인 작업에 대한 공로"
|매사추세츠 공과대학교
|-
! scope="row" | 1991
| 로빈 밀너
| style="text-align: center;" | —
|"세 가지 뚜렷하고 완전한 업적에 대한 공로:
#LCF, Scott의 계산 가능 함수 논리의 기계화, 아마도 자동 정리 증명을 위한 첫 번째 이론 기반 실용적인 도구;
#ML, 다형성 타입 추론을 타입 안전 예외 처리 메커니즘과 함께 포함하는 최초의 언어;
#CCS, 동시성에 대한 일반적인 이론
또한 그는 작업 의미론과 지시적 의미론 의미론 사이의 관계 연구인 전체 추상을 공식화하고 강력하게 발전시켰습니다."
|스탠퍼드 대학교,
에든버러 대학교
|-
! scope="row" | 1992
| 버틀러 램슨
|
Butler Lampson
Butler Lampson

|"분산, 개인 컴퓨팅 환경 개발과 구현 기술에 대한 기여: 워크스테이션, 컴퓨터 네트워크, 운영 체제, 프로그래밍 시스템, 컴퓨터 디스플레이, 컴퓨터 보안워드 프로세서"
|PARC,
DEC
|-
! scope="rowgroup" rowspan=2|1993
| 유리스 하르트마니스
|
Juris Hartmanis
Juris Hartmanis

|rowspan=2|"계산 복잡성 이론 분야의 기초를 확립한 그들의 획기적인 논문을 인정하여"
|rowspan=2|General Electric Research Laboratory (현재 Groupe Bull, Atos 회사)
|-
| 리처드 스턴스
|
Richard E. Stearns
Richard E. Stearns

|-
! scope="rowgroup" rowspan=2|1994
| 에드워드 파이겐바움
|
Edward A. Feigenbaum
Edward A. Feigenbaum

|rowspan=2|"인공 지능 기술의 실제적인 중요성과 잠재적인 상업적 영향을 보여주는 대규모 인공 지능 시스템의 설계 및 구축을 개척한 공로"
|스탠퍼드 대학교
|-
| 라즈 래디
|
Raj Reddy
Raj Reddy

|스탠퍼드 대학교,
카네기 멜론 대학교
|-
! scope="row" | 1995
| 매뉴얼 블럼
|
Manuel Blum
Manuel Blum

|"계산 복잡성 이론의 기초와 암호학 및 프로그램 검증에 대한 적용에 대한 그의 기여를 인정하여"
|캘리포니아 대학교 버클리
|-
! scope="row" | 1996
| 아미르 프누엘리
|
Amir Pnueli
Amir Pnueli

|"시간 논리를 컴퓨터 과학에 도입하고 프로그램 및 시스템 형식 검증에 탁월한 기여를 한 공로"
|스탠퍼드 대학교,
텔아비브 대학교,
바이츠만 과학 연구소,
Courant Institute of Mathematical Sciences
|-
! scope="row" | 1997
| 더글러스 엥겔바트
|
Douglas Engelbart
Douglas Engelbart

|"대화형 컴퓨팅의 미래에 대한 영감을 주는 비전과 이 비전을 실현하는 데 도움이 되는 핵심 기술의 발명에 대한 공로"
|SRI International,
Tymshare,
McDonnell Douglas,
Bootstrap Institute/Alliance,
The Doug Engelbart Institute
|-
! scope="row" | 1998
| 짐 그레이
|
Jim Gray
Jim Gray

|"데이터베이스트랜잭션 처리 연구에 대한 획기적인 기여와 시스템 구현에 대한 기술 리더십에 대한 공로"
|IBM,
마이크로소프트
|-
! scope="row" | 1999
| 프레더릭 브룩스
|
Fred Brooks
Fred Brooks

|"컴퓨터 아키텍처, 운영 체제, 소프트웨어 엔지니어링에 대한 획기적인 기여"
|IBM,
노스캐롤라이나 대학교 채플힐
|-
! scope="row" | 2000
| 앤드루 야오
|
Andrew Yao
Andrew Yao

|"계산 이론에 대한 그의 근본적인 기여, 유사 난수 생성기, 암호학 및 통신 복잡성의 복잡성 기반 이론을 포함하는 공로"
|스탠퍼드 대학교,
캘리포니아 대학교 버클리,
프린스턴 대학교
|-
! scope="rowgroup" rowspan=2|2001
| 올렌-요한 달
| style="text-align: center;" | —
|rowspan=2|"객체 지향 프로그래밍의 출현에 근본적인 아이디어에 대한 공로, Simula I 및 Simula 67 프로그래밍 언어 설계에 대한 공로"
|rowspan=2|노르웨이 컴퓨팅 센터,
오슬로 대학교
|-
| 크리스텐 니가드
|
Kristen Nygaard
Kristen Nygaard

|-
! scope="rowgroup" rowspan=3|2002
| 로널드 라이베스트
|
Ron Rivest
Ron Rivest

|rowspan=3|"그들의 독창적인 기여로 공개 키 암호화를 실용적으로 만드는 데 기여"
|rowspan=2|매사추세츠 공과대학교
|-
| 아디 샤미르
|
Adi Shamir
Adi Shamir

|-
| 레오나르드 아델만
|
Leonard Adleman
Leonard Adleman

|서던캘리포니아 대학교
|-
! scope="row" | 2003
| 앨런 케이
|
Alan Kay
Alan Kay

|"현대 객체 지향 프로그래밍 언어의 근본이 되는 많은 아이디어를 개척하고, Smalltalk를 개발한 팀을 이끌고, 개인 컴퓨팅에 근본적인 기여를 한 공로"
|유타 대학교,
PARC,
스탠퍼드 대학교,
Atari,
Apple ATG,
월트 디즈니 이미지니어링,
Viewpoints Research Institute,
HP Labs
|-
! scope="rowgroup" rowspan=2|2004
| 빈트 서프
|
Vint Cerf
Vint Cerf

|rowspan=2|"인터넷의 기본 통신 프로토콜인 TCP/IP의 설계 및 구현을 포함한 인터네트워킹에 대한 선구적인 작업과 네트워킹에 대한 영감을 받은 리더십에 대한 공로"
|캘리포니아 대학교 로스앤젤레스,
스탠퍼드 대학교, DARPA,
MCI (현재 Verizon 소속),
CNRI, Google
|-
| 로버트 칸
|
Bob Kahn
Bob Kahn

|매사추세츠 공과대학교,
Bolt Beranek and Newman,
DARPA,
CNRI
|-
! scope="row" | 2005
| 페테르 나우르
|
Peter Naur
Peter Naur

|"프로그래밍 언어 설계와 ALGOL 60의 정의, 컴파일러 설계, 컴퓨터 프로그래밍의 기술과 실천에 대한 근본적인 기여"
|Regnecentralen (현재 후지쯔 소속),
코펜하겐 대학교
|-
! scope="row" | 2006
| 프랜시스 앨런
|
Frances Allen
Frances Allen

|"현대 최적화 컴파일러와 자동 병렬 실행의 기반을 마련한 최적화 컴파일러 기술의 이론과 실천에 대한 선구적인 기여"
|IBM
|-
! scope="rowgroup" rowspan=3|2007
| 에드먼드 M. 클라크
|
Edmund M. Clarke
Edmund M. Clarke

|rowspan=3|"모델 검사를 하드웨어 및 소프트웨어 산업에서 널리 채택된 매우 효과적인 검증 기술로 개발하는 데 기여한 공로"
|하버드 대학교,
카네기 멜론 대학교
|-
| E. 앨런 에머슨
|
E. Allen Emerson
E. Allen Emerson

|하버드 대학교,
텍사스 대학교 오스틴
|-
| 조세프 시파키스
|
Joseph Sifakis
Joseph Sifakis

|프랑스 국립 과학 연구 센터
|-
! scope="row" | 2008
| 바바라 리스코프
|
Barbara Liskov
Barbara Liskov

|"프로그래밍 언어 및 시스템 설계의 실용적 및 이론적 기초에 대한 기여, 특히 데이터 추상화, 결함 허용 및 분산 컴퓨팅과 관련된 기여"
|매사추세츠 공과대학교
|-
! scope="row" | 2009
| 찰스 P. 태커
|
Charles P. Thacker
Charles P. Thacker

|"최초의 현대적인 퍼스널 컴퓨터인 Xerox Alto의 선구적인 설계 및 구현