튜링상

https://amturing.acm.org **튜링상**(Turing Award, 튜링 어워드)은 ACM이 컴퓨터 과학 분야에서 지속적이고 중요한 기술적 공헌을 한 사람에게 매년 수여하는 상이다. 일반적으로 컴퓨터 과학 분야에서 가장 높은 영예로 인정되며 종종 "컴퓨팅의 노벨상"으로 불린다. 2025년 기준으로 79명이 이 상을 수상했으며, 가장 최근 수상자는 2024년에 수상한 앤드루 바토와 리치 서튼이다.date=March 5, 2025page = 317url-status=liveurl-status = live 이 상은 "컴퓨터 과학의 아버지"로 불리는 영국의 수학자이자 맨체스터 대학교의 수학 강사였던 앨런 튜링의 이름을 따서 지어졌다. 튜링은 종종 이론 컴퓨터 과학과 인공지능의 창시자로 인정받으며,url-status=live 제2차 세계 대전 중 에니그마 암호의 연합국 암호 해독에 핵심적인 공헌을 했다.archive-date=11 October 2014 2007년부터 2013년까지 이 상에는 인텔과 구글의 재정 지원으로 250000의 상금이 수여되었다.archive-date=December 12, 2009archive-date=December 30, 2008 2014년부터는 구글의 재정 지원으로 1백만 달러의 상금이 수여되고 있다.archive-date=November 23, 2015 1966년의 첫 수상자는 앨런 펄리스였다. 최연소 수상자는 1974년 36세의 나이로 수상한 도널드 커누스였으며,eprint=2104.05636 최고령 수상자는 2020년 79세의 나이로 수상한 앨프리드 에이호였다.url-status=live 여성 수상자는 프랜시스 앨런 (2006년),access-date=November 5, 2007 바바라 리스코프 (2008년), 샤피 골드와서 (2012년) 세 명뿐이다.
# 수상자
{|class="wikitable sortable" |+ ACM 튜링상 수상자 !scope="col" |연도 !scope="col" |수상자 !scope="col" class="unsortable" |사진 !scope="col" class="unsortable" |선정 이유 !scope="col" |소속 기관 |- !scope="row" |1966 |펄리스 |align="center" | |"고급 컴퓨터 프로그래밍 기술 및 컴파일러 구성 분야에 기여한 공로"doi-access=freeurl-status=live |카네기 멜런 대학교 |- !scope="row" |1967 |윌크스 | |"내부 저장 프로그램을 가진 두 번째 컴퓨터인 에드삭의 구축자이자 설계자"로서의 공헌과 프로그램 라이브러리 소개(데이비드 휠러(David Wheeler)와 스탠리 길(Stanley Gill)과 함께) 공로doi-access=freeurl-status=live |케임브리지 대학교 |- !scope="row" |1968 |해밍 |align="center" | |"수치해석학 방법, 자동 코딩 시스템, 오류 검출 및 정정 코드에 대한 연구 공로"doi-access=freeurl-status=live |루이빌 대학교
벨 연구소 |- !scope="row" |1969 |민스키 | |"인공지능 분야를 창조, 형성, 홍보 및 발전시키는 데 핵심적인 역할 공로"doi-access=freeurl-status=live |매사추세츠 공과대학교 |- !scope="row" |1970 |윌킨슨 |align="center" | |"고속 디지털 컴퓨터 사용을 용이하게 하는 수치해석학 연구 공로, 특히 선형대수학 계산 및 '역방향' 오류 분석 작업에 대한 특별한 인정 공로"doi-access=freeurl-status=live |국립 물리학 연구소 |- !scope="row" |1971 |존 매카시 (컴퓨터 과학자) | |맥카시의 "인공지능 연구의 현재 상태" 강연 인용doi-access=freeurl-status=live |스탠퍼드 대학교 |- !scope="row" |1972 |데이크스트라 | |"프로그래밍을 높은 지적 도전으로 만든 근본적인 공헌; 프로그램이 올바르게 구성되어야 하며 단순히 디버깅으로 올바르게 만들어서는 안 된다는 설득력 있는 주장과 실용적인 시연; 프로그램 설계의 기본 문제에 대한 통찰력 있는 인식 공로"doi-access=freeurl-status=live |네덜란드 국립수리컴퓨터과학 연구소
에인트호번 공과대학교
텍사스 대학교 오스틴 |- !scope="row" |1973 |바크먼 | |"데이터베이스 기술에 대한 탁월한 공헌 공로"doi-access=freeurl-status=live |General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하) |- !scope="row" |1974 |커누스 | |"알고리즘 분석 및 프로그래밍 언어 설계에 대한 주요 공헌, 특히 그의 유명한 연속 시리즈 서적인 '컴퓨터 프로그래밍의 예술'을 통한 공헌 공로"doi-access=freeurl-status=live |캘리포니아 공과대학교
국방 분석 연구소 통신 및 컴퓨팅 센터
스탠퍼드 대학교 |- !scope="rowgroup" rowspan=2 |1975 |뉴얼 |align="center" | |rowspan=2 |J. C. 쇼(J. C. Shaw) 및 다른 연구자들과의 협력으로 "인공지능, 인간 인식 심리학, 리스트 처리에 대한 근본적인 공헌" 공로.doi-access=freeurl-status=liveurl-status=live |rowspan=2 |랜드 연구소
카네기 멜런 대학교 |- |사이먼 | |- !scope="rowgroup" rowspan=2 |1976 |라빈 | |rowspan=2 |"비결정론적 유한 상태 기계의 개념을 도입한 공동 논문 '유한 오토마타와 그 결정 문제'(Finite Automata and Their Decision Problem)s2cid=3160330 공로"doi-access=freedoi-access=freeurl-status=liveurl-status=live |프린스턴 대학교 |- |스콧 | |시카고 대학교 |- !scope="row" |1977 |배커스 | |"특히 포트란에 대한 연구를 통해 실용적인 고급 프로그래밍 시스템 설계에 깊고 영향력 있으며 지속적인 공헌을 했고, 프로그래밍 언어 사양을 위한 형식 절차를 창시적으로 발표한 공로"doi-access=freeurl-status=live |IBM |- !scope="row" |1978 |플로이드 |align="center" | |"효율적이고 신뢰할 수 있는 소프트웨어 생성을 위한 방법론에 명확한 영향을 미쳤으며, 컴퓨터 과학의 중요한 하위 분야인 구문 분석 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그래밍, 알고리즘 분석을 정립하는 데 기여한 공로"doi-access=freewebsite=amturing.acm.org |카네기 멜런 대학교
스탠퍼드 대학교 |- !scope="row" |1979 |아이버슨 |align="center" | |"프로그래밍 언어 및 수학적 표기법 분야에서 선구적인 노력을 통해 현재 컴퓨팅 분야에서 APL로 알려진 것을 만들어냈고, 대화형 시스템 구현, APL의 교육적 활용, 프로그래밍 언어 이론 및 실습에 기여한 공로"doi-access=freeurl-status=live |IBM |- !scope="row" |1980 |호어 | |"프로그래밍 언어의 정의 및 설계에 대한 근본적인 공헌 공로"doi-access=freeurl-status=live |퀸스 대학교 벨파스트
옥스퍼드 대학교 |- !scope="row" |1981 |코드 |align="center" | |"데이터베이스 관리 시스템의 이론과 실제에 대한 근본적이고 지속적인 공헌 공로"doi-access=freeurl-status=live |IBM |- !scope="row" |1982 |쿡 | |"컴퓨팅 복잡도 이해를 중요하고 심오한 방식으로 발전시킨 공로"; 특히 그의 논문 "정리 증명 절차의 복잡도(The Complexity of Theorem Proving Procedures)"는 NP-완전 이론을 창시한 것으로 인정받는다.doi-access=freeurl-status=live |토론토 대학교 |- !scope="rowgroup" rowspan=2 |1983 |리치 | |rowspan=2 |"범용 운영체제 이론 개발과 특히 유닉스 운영체제 구현 공로"url-status=liveurl-status=live |rowspan=2 |벨 연구소 |- |켄 톰프슨 | |- !scope="row" |1984 |비르트 | |"혁신적인 컴퓨터 언어인 EULER, 알골 W, 모듈라, PASCAL 개발 공로"url-status=live |스탠퍼드 대학교
취리히 대학교
취리히 연방 공과대학교 |- !scope="row" |1985 |카프 | |"네트워크 플로우 및 기타 조합 최적화 문제에 대한 효율적인 알고리즘 개발, 다항 시간 계산 가능성과 알고리즘 효율성의 직관적 개념 동일시, 그리고 특히 NP-완전 이론에 대한 공헌을 포함한 알고리즘 이론에 대한 지속적인 공헌 공로"url-status=live |캘리포니아 대학교 버클리 |- !scope="rowgroup" rowspan=2 |1986 |홉크로프트 | |rowspan=2 |"알고리즘 및 자료 구조 설계 및 분석 분야의 근본적인 업적 공로"url-status=liveurl-status=live |코넬 대학교 |- |타잔 | |스탠퍼드 대학교
코넬 대학교
캘리포니아 대학교 버클리
프린스턴 대학교 |- !scope="row" |1987 |존 코크 |align="center" | |"컴파일러 설계 및 이론, 대규모 시스템 아키텍처, 축소 명령어 집합 컴퓨터(RISC) 개발에 중요한 공헌을 했으며, 강도 감소, 공통 부분식 제거, 레지스터 할당, 상수 전파, 죽은 코드 제거 등 현재 최적화 컴파일러에서 사용되는 많은 근본적인 변환을 발견하고 체계화한 공로"url-status=live |IBM |- !scope="row" |1988 |서덜랜드 | |"스케치패드를 시작으로 이후로도 계속된 컴퓨터 그래픽스에 대한 선구적이고 비전적인 공헌 공로"url-status=live |스탠퍼드 대학교
하버드 대학교
유타 대학교
캘리포니아 공과대학교 |- !scope="row" |1989 |카한 | |"수치해석학에 대한 근본적인 공헌"과 "부동소수점 계산 분야의 최고 전문가 중 한 명"으로서의 공로url-status=live |캘리포니아 대학교 버클리 |- !scope="row" |1990 |코바토 | |"범용 대규모 시분할 시스템 및 자원 공유 컴퓨터 시스템인 호환 시분할 시스템과 멀틱스의 개념을 조직하고 개발을 주도한 선구적인 작업 공로"url-status=live |매사추세츠 공과대학교 |- !scope="row" |1991 |밀너 |align="center" | |수상 인용문은 그의 세 가지 주요 공헌을 언급한다: 계산 가능 함수 논리의 기계화; 자료형 추론 및 자료형 안전을 포함한 프로그래밍 언어 ML; 통신 시스템 미적분학; 그리고 동작적 의미론과 표시적 의미론 의미론 사이의 연결성doi-access=freeurl-status=live |스탠퍼드 대학교
에든버러 대학교 |- !scope="row" |1992 |램슨 | |"분산 개인 컴퓨팅 환경 개발 및 구현 기술(워크스테이션, 컴퓨터 네트워크, 운영체제, 프로그래밍 시스템, 디스플레이, 보안 및 문서 출판)에 기여한 공로"url-status=live |PARC
DEC |- !scope="rowgroup" rowspan=2 |1993 |하르트마니스 | |rowspan=2 |"계산 복잡도 이론 분야의 토대를 마련한 그들의 선구적인 논문issn=0002-9947을 인정하여"doi-access=freeurl-status=liveurl-status=live |rowspan=2 |General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하) |- |스턴스 | |- !scope="rowgroup" rowspan=2 |1994 |파이겐바움 | |rowspan=2 |"대규모 인공지능 시스템의 설계 및 구축을 개척하고, 인공지능 기술의 실용적 중요성과 잠재적 상업적 영향력을 입증한 공로"doi-access=freeurl-status=liveurl-status=live |스탠퍼드 대학교 |- |레디 | |스탠퍼드 대학교
카네기 멜런 대학교 |- !scope="row" |1995 |블룸 | |"계산 복잡도 이론의 기초와 그것의 암호학 및 프로그램 검사에 대한 응용에 기여한 공로"url-status=live |캘리포니아 대학교 버클리 |- !scope="row" |1996 |프누엘리 | |"컴퓨팅 과학에 시간 논리를 도입한 선구적인 연구와 프로그램 및 시스템 검증에 대한 탁월한 공헌 공로"url-status=live |스탠퍼드 대학교
텔아비브 대학교
바이츠만 과학 연구소
쿠란트 수학 과학 연구소 |- !scope="row" |1997 |엥겔바트 | |"대화형 컴퓨팅의 미래에 대한 영감적인 비전과 이 비전을 실현하는 데 도움이 된 핵심 기술 발명 공로"url-status=live |SRI 인터내셔널
팀셰어
맥도널 더글러스
부트스트랩 연구소/연합,url-status=dead
더그 엥겔바트 연구소 |- !scope="row" |1998 |짐 그레이 | |"데이터베이스 및 트랜잭션 처리 연구에 대한 선구적인 공헌과 시스템 구현 분야의 기술 리더십 공로"url-status=live |IBM
마이크로소프트 |- !scope="row" |1999 |브룩스 | |"컴퓨터 구조, 운영체제, 소프트웨어 공학에 대한 획기적인 공헌 공로"url-status=live |IBM
노스캐롤라이나 대학교 채플힐 |- !scope="row" |2000 |야오치즈 | |"유사난수 생성의 복잡성 기반 이론, 암호학, 통신 복잡도를 포함한 계산 이론에 대한 근본적인 공헌 공로"url-status=live |스탠퍼드 대학교
캘리포니아 대학교 버클리
프린스턴 대학교 |- !scope="row" rowspan=2 |2001 |달 |align="center" | |rowspan=2 |"프로그래밍 언어 시뮬라 I 및 시뮬라 67 설계를 통해 객체 지향 프로그래밍 출현의 근간이 된 아이디어 공로"url-status=liveurl-status=live |rowspan=2 |노르웨이 컴퓨팅 센터
오슬로 대학교 |- |뉘가르드 | |- !scope="rowgroup" rowspan=3 |2002 |애들먼 | |rowspan=3 |"공개 키 암호 방식을 실제로 유용하게 만든 그들의 독창적인 공헌 공로"url-status=liveurl-status=liveurl-status=live |서던캘리포니아 대학교 |- |리베스트 | |rowspan=2 |매사추세츠 공과대학교 |- |샤미르 | |- !scope="row" |2003 |케이 | |"현대 객체 지향 프로그래밍 언어의 근간이 되는 많은 아이디어를 개척하고, 스몰토크를 개발한 팀을 이끌었으며, 개인 컴퓨팅에 근본적인 공헌을 한 공로"url-status=live |유타 대학교
PARC
스탠퍼드 대학교
아타리
애플 ATG
월트 디즈니 이미지니어링
뷰포인트 연구소
HP 연구소 |- !scope="rowgroup" rowspan=2 |2004 |서프 | |rowspan=2 |"인터넷의 기본 통신 프로토콜인 TCP/IP의 설계 및 구현을 포함한 인터네트워킹에 대한 선구적인 연구와 네트워킹 분야의 영감적인 리더십 공로"url-status=liveurl-status=live |캘리포니아 대학교 로스앤젤레스
스탠퍼드 대학교, 방위고등연구계획국
MCI 커뮤니케이션즈 (현재 버라이즌 커뮤니케이션스 소속)
CNRI, 구글 |- |칸 | |매사추세츠 공과대학교
볼트 베라넥 앤 뉴먼
방위고등연구계획국
CNRI |- !scope="row" |2005 |나우르 | |"프로그래밍 언어 설계 및 알골 60 정의, 컴파일러 설계, 컴퓨터 프로그래밍의 예술 및 실천에 대한 근본적인 공헌 공로"url-status=live |Regnecentralen (현재 후지쯔 소속)
코펜하겐 대학교 |- !scope="row" |2006 |앨런 | |"현대 최적화 컴파일러와 자동 병렬 실행의 기반을 마련한 최적화 컴파일러 기술의 이론과 실제에 대한 선구적인 공헌 공로"url-status=live |IBM |- !scope="rowgroup" rowspan=3 |2007 |클라크 | |rowspan=3 |"모델 검증을 하드웨어 및 소프트웨어 산업에서 널리 채택되는 매우 효과적인 검증 기술로 발전시키는 데 기여한 공로"url-status=liveurl-status=liveurl-status=liveurl-status=live |하버드 대학교
카네기 멜런 대학교 |- |에머슨 | |하버드 대학교
텍사스 대학교 오스틴 |- |시파키스 | |CNRS |- !scope="row" |2008 |리스코프 | |"데이터 추상화, 장애 허용 시스템, 분산 컴퓨팅과 관련된 프로그래밍 언어 및 시스템 설계의 실용적이고 이론적인 기초에 기여한 공로"url-status=live |매사추세츠 공과대학교 |- !scope="row" |2009 |새커 | |"최초의 현대 개인용 컴퓨터인 제록스 알토의 선구적인 설계 및 실현과 이더넷을 포함한 근거리 통신망, 다중 프로세서 워크스테이션, 스누핑 캐시 일관성 프로토콜, 태블릿 컴퓨터에 대한 선구적인 발명 및 공헌 공로"url-status=live |PARC
DEC
마이크로소프트 연구 |- !scope="row" |2010 |밸리언트 | |"계산 이론에 대한 혁신적인 공헌, 특히 확실히 대략적으로 올바른 학습(PAC 학습) 이론, 열거 및 대수적 계산의 복잡성, 병렬 및 분산 컴퓨팅 이론에 대한 공헌 공로"url-status=live |하버드 대학교 |- !scope="row" |2011 |펄 | |"확률적 및 인과적 추론을 위한 계산법 개발을 통해 인공지능에 근본적인 공헌을 한 공로"url-status=liveurl-status=live |캘리포니아 대학교 로스앤젤레스
뉴저지 공과 대학 |- !scope="rowgroup" rowspan=2 |2012 |골드와서 | |rowspan=2 |"암호학 과학을 위한 복잡성 이론적 기초를 마련하고, 그 과정에서 복잡성 이론에서 수학적 증명의 효율적인 검증을 위한 새로운 방법을 개척한 혁신적인 연구 공로"url-status=livearchive-date=March 18, 2013url-status=live |매사추세츠 공과대학교
바이츠만 과학 연구소 |- |미칼리 | |매사추세츠 공과대학교 |- !scope="row" |2013 |램포트 | |"인과관계 및 논리 시계, 안전성과 활성성, 복제 상태 머신, 순차 일관성과 같은 개념 발명을 통해 분산 및 동시 시스템의 이론과 실제에 근본적인 공헌을 한 공로"url-status=liveurl-status=liveurl-status=live |매사추세츠 컴퓨터 어소시에이츠 (현재 Essig PLM 소속)
SRI 인터내셔널
DEC
컴팩 (현재 HP 소속)
마이크로소프트 연구 |- !scope="row" |2014 |스톤브레이커 | |"현대 데이터베이스 시스템의 개념과 실제에 대한 근본적인 공헌 공로"url-status=liveurl-status=live |캘리포니아 대학교 버클리
매사추세츠 공과대학교 |- !scope="rowgroup" rowspan=2 |2015 |디피 | |rowspan=2 |"디지털 서명에 대한 응용을 포함한 비대칭 공개 키 암호 방식과 실용적인 암호화 키 교환 방법 발명 및 보급 공로"url-status=liveurl-status=liveurl-status=live |rowspan=2 |스탠퍼드 대학교 |- |헬먼 | |- !scope="row" |2016 |버너스리 | |"월드 와이드 웹, 최초의 웹 브라우저, 웹 확장을 가능하게 하는 근본적인 프로토콜 및 알고리즘 발명 공로"url-status=live |유럽 입자 물리 연구소
매사추세츠 공과대학교
월드 와이드 웹 컨소시엄 |- !scope="rowgroup" rowspan=2 |2017 |헤네시 | |rowspan=2 |"마이크로프로세서 산업에 지속적인 영향을 미친 컴퓨터 아키텍처 설계 및 평가에 대한 체계적이고 정량적인 접근 방식을 개척한 공로"url-status=liveurl-status=liveurl-status=live |스탠퍼드 대학교 |- |데이비드 패터슨 (컴퓨터 과학자) | |캘리포니아 대학교 버클리 |- !scope="rowgroup" rowspan=3 |2018 |벤지오 | |rowspan=3 |"딥 러닝 신경망을 컴퓨팅의 핵심 구성 요소로 만든 개념적 및 공학적 돌파구 공로"url-status=liveurl-status=liveurl-status=liveurl-status=live |italic=no, 맥길 대학교,
Mila |- |힌턴 | |토론토 대학교
캘리포니아 대학교 샌디에이고
카네기 멜런 대학교
유니버시티 칼리지 런던
에든버러 대학교
구글 AI |- |르쿤 | |토론토 대학교
벨 연구소
쿠란트 수학 과학 연구소, 뉴욕 대학교
메타 AI |- !scope="rowgroup" rowspan=2 |2019 |캐트멀 | |rowspan=2 |"3차원 컴퓨터 그래픽스에 대한 근본적인 공헌과 영화 제작 및 기타 응용 분야에서 컴퓨터 생성 이미지(CGI)의 영향력 공로"url-status=liveurl-status=liveurl-status=live |유타 대학교
픽사
월트 디즈니 애니메이션 스튜디오 |- |핸러핸 | |픽사
프린스턴 대학교
스탠퍼드 대학교 |- !scope="rowgroup" rowspan=2 |2020 |에이호 |align="center" | |rowspan=2 |"프로그래밍 언어 구현의 근본적인 알고리즘과 이론에 기여하고, 이들과 다른 연구자들의 결과를 매우 영향력 있는 저서에 통합하여 여러 세대의 컴퓨터 과학자들을 교육한 공로"url-status=liveurl-status=liveurl-status=live |벨 연구소
컬럼비아 대학교 |- |울먼 |align="center" | |벨 연구소
프린스턴 대학교
스탠퍼드 대학교 |- !scope="row" |2021 |동가라 | |"40년 이상 동안 기하급수적인 하드웨어 개선에 발맞춰 고성능 컴퓨팅 소프트웨어를 가능하게 한 수치 알고리즘 및 라이브러리에 대한 선구적인 공헌 공로"url-status=liveurl-status=live |아곤 국립 연구소
오크리지 국립연구소
맨체스터 대학교
텍사스 A&M; 대학교 고등연구소
테네시 대학교
라이스 대학교 |- !scope="row" |2022 |메칼프 | |"이더넷의 발명, 표준화 및 상용화 공로"url-status=live |매사추세츠 공과대학교, 하버드 대학교, 팰로앨토 연구소, 텍사스 대학교 오스틴 |- !scope="row" |2023 |위그더슨 | |"계산 및 수학에서 무작위성의 역할에 대한 우리의 이해를 재구성하는 것을 포함한 계산 이론에 대한 근본적인 공헌과 이론 컴퓨터 과학에서 수십 년간의 지적 리더십 공로"url-status=livewebsite=amturing.acm.org |프린스턴 고등연구소, 프린스턴 대학교, 예루살렘 히브리 대학교 |- !scope="rowgroup" rowspan=2 |2024 |바토 |align="center" | |rowspan=2 |"강화 학습의 개념적 및 알고리즘적 기초 개발 공로"website=amturing.acm.orgwebsite=amturing.acm.org |매사추세츠 대학교 애머스트 |- |서튼 | |앨버타 대학교
Amii |- |}
# 추가 자료
* access-date=December 12, 2024