튜링상

튜링상(, 튜링 어워드)은 ACM이 컴퓨터 과학 분야에서 지속적이고 중요한 기술적 공헌을 한 사람에게 매년 수여하는 상이다. 일반적으로 컴퓨터 과학 분야에서 가장 높은 영예로 인정되며 종종 "컴퓨팅의 노벨상"으로 불린다. 2025년 기준으로 79명이 이 상을 수상했으며, 가장 최근 수상자는 2024년에 수상한 앤드루 바토와 리치 서튼이다.

이 상은 "컴퓨터 과학의 아버지"로 불리는 영국의 수학자이자 맨체스터 대학교의 수학 강사였던 앨런 튜링의 이름을 따서 지어졌다. 튜링은 종종 이론 컴퓨터 과학과 인공지능의 창시자로 인정받으며, 제2차 세계 대전 중 에니그마 암호의 연합국 암호 해독에 핵심적인 공헌을 했다. 2007년부터 2013년까지 이 상에는 인텔과 구글의 재정 지원으로 의 상금이 수여되었다. 2014년부터는 구글의 재정 지원으로 백만 달러의 상금이 수여되고 있다.

1966년의 첫 수상자는 앨런 펄리스였다. 최연소 수상자는 1974년 36세의 나이로 수상한 도널드 커누스였으며, 최고령 수상자는 2020년 79세의 나이로 수상한 앨프리드 에이호였다. 여성 수상자는 프랜시스 앨런 (2006년), 바바라 리스코프 (2008년), 샤피 골드와서 (2012년) 세 명뿐이다.

 수상자 
+ ACM 튜링상 수상자연도수상자사진선정 이유소속 기관196680px"고급 컴퓨터 프로그래밍 기술 및 컴파일러 구성 분야에 기여한 공로"카네기 멜런 대학교1967alt=모리스 윌크스 |80px"내부 저장 프로그램을 가진 두 번째 컴퓨터인 에드삭의 구축자이자 설계자"로서의 공헌과 프로그램 라이브러리 소개(데이비드 휠러(David Wheeler)와 스탠리 길(Stanley Gill)과 함께) 공로케임브리지 대학교196880px"수치해석학 방법, 자동 코딩 시스템, 오류 검출 및 정정 코드에 대한 연구 공로"루이빌 대학교벨 연구소1969alt=마빈 민스키 |80px"인공지능 분야를 창조, 형성, 홍보 및 발전시키는 데 핵심적인 역할 공로"매사추세츠 공과대학교197080px"고속 디지털 컴퓨터 사용을 용이하게 하는 수치해석학 연구 공로, 특히 선형대수학 계산 및 '역방향' 오류 분석 작업에 대한 특별한 인정 공로"국립 물리학 연구소1971alt=존 매카시 |80px맥카시의 "인공지능 연구의 현재 상태" 강연 인용스탠퍼드 대학교1972alt=에츠허르 데이크스트라 |80px"프로그래밍을 높은 지적 도전으로 만든 근본적인 공헌; 프로그램이 올바르게 구성되어야 하며 단순히 디버깅으로 올바르게 만들어서는 안 된다는 설득력 있는 주장과 실용적인 시연; 프로그램 설계의 기본 문제에 대한 통찰력 있는 인식 공로"네덜란드 국립수리컴퓨터과학 연구소에인트호번 공과대학교텍사스 대학교 오스틴1973alt=찰스 바크먼 |80px"데이터베이스 기술에 대한 탁월한 공헌 공로"General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하)1974alt=도널드 커누스 |80px"알고리즘 분석 및 프로그래밍 언어 설계에 대한 주요 공헌, 특히 그의 유명한 연속 시리즈 서적인 '컴퓨터 프로그래밍의 예술'을 통한 공헌 공로"캘리포니아 공과대학교국방 분석 연구소 통신 및 컴퓨팅 센터스탠퍼드 대학교197580pxJ. C. 쇼(J. C. Shaw) 및 다른 연구자들과의 협력으로 "인공지능, 인간 인식 심리학, 리스트 처리에 대한 근본적인 공헌" 공로.랜드 연구소카네기 멜런 대학교alt=허버트 사이먼 |80px1976alt=미하엘 라빈 |80px"비결정론적 유한 상태 기계의 개념을 도입한 공동 논문 '유한 오토마타와 그 결정 문제'(Finite Automata and Their Decision Problem) 공로"프린스턴 대학교alt=데이나 스콧|80px시카고 대학교1977alt=존 배커스 |80px"특히 포트란에 대한 연구를 통해 실용적인 고급 프로그래밍 시스템 설계에 깊고 영향력 있으며 지속적인 공헌을 했고, 프로그래밍 언어 사양을 위한 형식 절차를 창시적으로 발표한 공로"IBM197880px"효율적이고 신뢰할 수 있는 소프트웨어 생성을 위한 방법론에 명확한 영향을 미쳤으며, 컴퓨터 과학의 중요한 하위 분야인 구문 분석 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그래밍, 알고리즘 분석을 정립하는 데 기여한 공로"카네기 멜런 대학교스탠퍼드 대학교197980px"프로그래밍 언어 및 수학적 표기법 분야에서 선구적인 노력을 통해 현재 컴퓨팅 분야에서 APL로 알려진 것을 만들어냈고, 대화형 시스템 구현, APL의 교육적 활용, 프로그래밍 언어 이론 및 실습에 기여한 공로"IBM1980alt=토니 호어 |80px"프로그래밍 언어의 정의 및 설계에 대한 근본적인 공헌 공로"퀸스 대학교 벨파스트옥스퍼드 대학교198180px"데이터베이스 관리 시스템의 이론과 실제에 대한 근본적이고 지속적인 공헌 공로"IBM1982alt=스티븐 쿡 |80px"컴퓨팅 복잡도 이해를 중요하고 심오한 방식으로 발전시킨 공로"; 특히 그의 논문 "정리 증명 절차의 복잡도(The Complexity of Theorem Proving Procedures)"는 NP-완전 이론을 창시한 것으로 인정받는다.토론토 대학교1983alt=데니스 리치 |80px"범용 운영체제 이론 개발과 특히 유닉스 운영체제 구현 공로"벨 연구소alt=켄 톰프슨 |80px1984alt=니클라우스 비르트 |80px"혁신적인 컴퓨터 언어인 EULER, 알골 W, 모듈라, PASCAL 개발 공로"스탠퍼드 대학교취리히 대학교취리히 연방 공과대학교1985alt=리처드 M. 카프 |80px"네트워크 플로우 및 기타 조합 최적화 문제에 대한 효율적인 알고리즘 개발, 다항 시간 계산 가능성과 알고리즘 효율성의 직관적 개념 동일시, 그리고 특히 NP-완전 이론에 대한 공헌을 포함한 알고리즘 이론에 대한 지속적인 공헌 공로"캘리포니아 대학교 버클리1986alt=존 홉크로프트 |80px"알고리즘 및 자료 구조 설계 및 분석 분야의 근본적인 업적 공로"코넬 대학교alt=로버트 타잔 |80px스탠퍼드 대학교코넬 대학교캘리포니아 대학교 버클리프린스턴 대학교198780px"컴파일러 설계 및 이론, 대규모 시스템 아키텍처, 축소 명령어 집합 컴퓨터(RISC) 개발에 중요한 공헌을 했으며, 강도 감소, 공통 부분식 제거, 레지스터 할당, 상수 전파, 죽은 코드 제거 등 현재 최적화 컴파일러에서 사용되는 많은 근본적인 변환을 발견하고 체계화한 공로"IBM1988alt=아이번 서덜랜드 |80px"스케치패드를 시작으로 이후로도 계속된 컴퓨터 그래픽스에 대한 선구적이고 비전적인 공헌 공로"스탠퍼드 대학교하버드 대학교유타 대학교캘리포니아 공과대학교1989alt=윌리엄 카한 |80px"수치해석학에 대한 근본적인 공헌"과 "부동소수점 계산 분야의 최고 전문가 중 한 명"으로서의 공로캘리포니아 대학교 버클리1990alt=페르난도 J. 코바토 |80px"범용 대규모 시분할 시스템 및 자원 공유 컴퓨터 시스템인 호환 시분할 시스템과 멀틱스의 개념을 조직하고 개발을 주도한 선구적인 작업 공로"매사추세츠 공과대학교199180px수상 인용문은 그의 세 가지 주요 공헌을 언급한다: 계산 가능 함수 논리의 기계화; 자료형 추론 및 자료형 안전을 포함한 프로그래밍 언어 ML; 통신 시스템 미적분학; 그리고 동작적 의미론과 표시적 의미론 의미론 사이의 연결성스탠퍼드 대학교에든버러 대학교1992alt=버틀러 램슨 |80px"분산 개인 컴퓨팅 환경 개발 및 구현 기술(워크스테이션, 컴퓨터 네트워크, 운영체제, 프로그래밍 시스템, 디스플레이, 보안 및 문서 출판)에 기여한 공로"PARCDEC1993alt=유리스 하르트마니스 |80px"계산 복잡도 이론 분야의 토대를 마련한 그들의 선구적인 논문을 인정하여"General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하)alt=리처드 E. 스턴스 |80px1994alt=에드워드 파이겐바움 |80px"대규모 인공지능 시스템의 설계 및 구축을 개척하고, 인공지능 기술의 실용적 중요성과 잠재적 상업적 영향력을 입증한 공로"스탠퍼드 대학교alt=라지 레디 |80px스탠퍼드 대학교카네기 멜런 대학교1995alt=마누엘 블룸 |80px"계산 복잡도 이론의 기초와 그것의 암호학 및 프로그램 검사에 대한 응용에 기여한 공로"캘리포니아 대학교 버클리1996alt=아미르 프누엘리 |80px"컴퓨팅 과학에 시간 논리를 도입한 선구적인 연구와 프로그램 및 시스템 검증에 대한 탁월한 공헌 공로"스탠퍼드 대학교텔아비브 대학교바이츠만 과학 연구소쿠란트 수학 과학 연구소1997alt=더글러스 엥겔바트 |80px"대화형 컴퓨팅의 미래에 대한 영감적인 비전과 이 비전을 실현하는 데 도움이 된 핵심 기술 발명 공로"SRI 인터내셔널팀셰어맥도널 더글러스부트스트랩 연구소/연합,더그 엥겔바트 연구소1998alt=짐 그레이 |80px"데이터베이스 및 트랜잭션 처리 연구에 대한 선구적인 공헌과 시스템 구현 분야의 기술 리더십 공로"IBM마이크로소프트1999alt=프레더릭 브룩스 |80px"컴퓨터 구조, 운영체제, 소프트웨어 공학에 대한 획기적인 공헌 공로"IBM노스캐롤라이나 대학교 채플힐2000alt=야오치즈 |80px"유사난수 생성의 복잡성 기반 이론, 암호학, 통신 복잡도를 포함한 계산 이론에 대한 근본적인 공헌 공로"스탠퍼드 대학교캘리포니아 대학교 버클리프린스턴 대학교200180px"프로그래밍 언어 시뮬라 I 및 시뮬라 67 설계를 통해 객체 지향 프로그래밍 출현의 근간이 된 아이디어 공로"노르웨이 컴퓨팅 센터오슬로 대학교alt=크리스텐 뉘가르드 |80px2002alt=레너드 애들먼 |80px"공개 키 암호 방식을 실제로 유용하게 만든 그들의 독창적인 공헌 공로"서던캘리포니아 대학교alt=로널드 리베스트 |80px매사추세츠 공과대학교alt=아디 샤미르 |80px2003alt=앨런 케이 |80px"현대 객체 지향 프로그래밍 언어의 근간이 되는 많은 아이디어를 개척하고, 스몰토크를 개발한 팀을 이끌었으며, 개인 컴퓨팅에 근본적인 공헌을 한 공로"유타 대학교PARC스탠퍼드 대학교아타리애플 ATG월트 디즈니 이미지니어링뷰포인트 연구소HP 연구소2004alt=빈트 서프 |80px"인터넷의 기본 통신 프로토콜인 TCP/IP의 설계 및 구현을 포함한 인터네트워킹에 대한 선구적인 연구와 네트워킹 분야의 영감적인 리더십 공로"캘리포니아 대학교 로스앤젤레스스탠퍼드 대학교, 방위고등연구계획국MCI 커뮤니케이션즈 (현재 버라이즌 커뮤니케이션스 소속)CNRI, 구글alt=로버트 칸 |80px매사추세츠 공과대학교볼트 베라넥 앤 뉴먼방위고등연구계획국CNRI2005alt=페테르 나우르 |80px"프로그래밍 언어 설계 및 알골 60 정의, 컴파일러 설계, 컴퓨터 프로그래밍의 예술 및 실천에 대한 근본적인 공헌 공로"Regnecentralen (현재 후지쯔 소속)코펜하겐 대학교2006alt=프랜시스 앨런 |80px"현대 최적화 컴파일러와 자동 병렬 실행의 기반을 마련한 최적화 컴파일러 기술의 이론과 실제에 대한 선구적인 공헌 공로"IBM2007alt=에드먼드 M. 클라크 |80px"모델 검증을 하드웨어 및 소프트웨어 산업에서 널리 채택되는 매우 효과적인 검증 기술로 발전시키는 데 기여한 공로"하버드 대학교카네기 멜런 대학교alt=E. 앨런 에머슨 |80px하버드 대학교텍사스 대학교 오스틴alt=조지프 시파키스 |80pxCNRS2008alt=바바라 리스코프 |80px"데이터 추상화, 장애 허용 시스템, 분산 컴퓨팅과 관련된 프로그래밍 언어 및 시스템 설계의 실용적이고 이론적인 기초에 기여한 공로"매사추세츠 공과대학교2009alt=찰스 P. 새커 |80px"최초의 현대 개인용 컴퓨터인 제록스 알토의 선구적인 설계 및 실현과 이더넷을 포함한 근거리 통신망, 다중 프로세서 워크스테이션, 스누핑 캐시 일관성 프로토콜, 태블릿 컴퓨터에 대한 선구적인 발명 및 공헌 공로"PARCDEC마이크로소프트 연구2010alt=레슬리 밸리언트 |80px"계산 이론에 대한 혁신적인 공헌, 특히 확실히 대략적으로 올바른 학습(PAC 학습) 이론, 열거 및 대수적 계산의 복잡성, 병렬 및 분산 컴퓨팅 이론에 대한 공헌 공로"하버드 대학교2011alt=주데아 펄 |80px"확률적 및 인과적 추론을 위한 계산법 개발을 통해 인공지능에 근본적인 공헌을 한 공로"캘리포니아 대학교 로스앤젤레스뉴저지 공과 대학2012alt=샤피 골드와서 |80px"암호학 과학을 위한 복잡성 이론적 기초를 마련하고, 그 과정에서 복잡성 이론에서 수학적 증명의 효율적인 검증을 위한 새로운 방법을 개척한 혁신적인 연구 공로"매사추세츠 공과대학교바이츠만 과학 연구소alt=실비오 미칼리 |80px매사추세츠 공과대학교2013alt=레슬리 램포트 |80px"인과관계 및 논리 시계, 안전성과 활성성, 복제 상태 머신, 순차 일관성과 같은 개념 발명을 통해 분산 및 동시 시스템의 이론과 실제에 근본적인 공헌을 한 공로"매사추세츠 컴퓨터 어소시에이츠 (현재 Essig PLM 소속)SRI 인터내셔널DEC컴팩 (현재 HP 소속)마이크로소프트 연구2014alt=마이클 스톤브레이커 |80px"현대 데이터베이스 시스템의 개념과 실제에 대한 근본적인 공헌 공로"캘리포니아 대학교 버클리매사추세츠 공과대학교2015alt=휫필드 디피 |80px"디지털 서명에 대한 응용을 포함한 비대칭 공개 키 암호 방식과 실용적인 암호화 키 교환 방법 발명 및 보급 공로"스탠퍼드 대학교alt=마틴 헬먼 |80px2016alt=팀 버너스리 |80px"월드 와이드 웹, 최초의 웹 브라우저, 웹 확장을 가능하게 하는 근본적인 프로토콜 및 알고리즘 발명 공로"유럽 입자 물리 연구소매사추세츠 공과대학교월드 와이드 웹 컨소시엄2017alt=존 L. 헤네시 |80px"마이크로프로세서 산업에 지속적인 영향을 미친 컴퓨터 아키텍처 설계 및 평가에 대한 체계적이고 정량적인 접근 방식을 개척한 공로"스탠퍼드 대학교alt=데이비드 패터슨 |80px캘리포니아 대학교 버클리2018alt=요슈아 벤지오 |80px"딥 러닝 신경망을 컴퓨팅의 핵심 구성 요소로 만든 개념적 및 공학적 돌파구 공로", 맥길 대학교,Milaalt=제프리 힌턴 |80px토론토 대학교캘리포니아 대학교 샌디에이고카네기 멜런 대학교유니버시티 칼리지 런던에든버러 대학교구글 AIalt=얀 르쿤 |80px토론토 대학교벨 연구소쿠란트 수학 과학 연구소, 뉴욕 대학교메타 AI2019alt=에드윈 캐트멀 |80px"3차원 컴퓨터 그래픽스에 대한 근본적인 공헌과 영화 제작 및 기타 응용 분야에서 컴퓨터 생성 이미지(CGI)의 영향력 공로"유타 대학교픽사월트 디즈니 애니메이션 스튜디오alt=팻 핸러핸 |80px픽사프린스턴 대학교스탠퍼드 대학교202080px"프로그래밍 언어 구현의 근본적인 알고리즘과 이론에 기여하고, 이들과 다른 연구자들의 결과를 매우 영향력 있는 저서에 통합하여 여러 세대의 컴퓨터 과학자들을 교육한 공로"벨 연구소컬럼비아 대학교80px벨 연구소프린스턴 대학교스탠퍼드 대학교2021alt=잭 동가라 |80px"40년 이상 동안 기하급수적인 하드웨어 개선에 발맞춰 고성능 컴퓨팅 소프트웨어를 가능하게 한 수치 알고리즘 및 라이브러리에 대한 선구적인 공헌 공로"아곤 국립 연구소오크리지 국립연구소맨체스터 대학교텍사스 A&M 대학교 고등연구소테네시 대학교라이스 대학교2022alt=로버트 메칼프 |80px"이더넷의 발명, 표준화 및 상용화 공로"매사추세츠 공과대학교, 하버드 대학교, 팰로앨토 연구소, 텍사스 대학교 오스틴2023alt=아비 위그더슨 |80px"계산 및 수학에서 무작위성의 역할에 대한 우리의 이해를 재구성하는 것을 포함한 계산 이론에 대한 근본적인 공헌과 이론 컴퓨터 과학에서 수십 년간의 지적 리더십 공로"프린스턴 고등연구소, 프린스턴 대학교, 예루살렘 히브리 대학교202480px"강화 학습의 개념적 및 알고리즘적 기초 개발 공로"매사추세츠 대학교 애머스트alt=리치 서튼|80px앨버타 대학교Amii

 같이 보기 

 각주 

 추가 자료 


 외부 링크 

 ACM 튜링상 수상자 연대기
 ACM A.M. 튜링상 100주년 기념 행사
 ACM A.M. 튜링상 수상자 인터뷰
 ACM A.M. 튜링상 50주년 기념 행사

분류:앨런 튜링
분류:컴퓨터 과학상
분류:시스템 과학상