[[분류:상]][[분류:컴퓨터 공학]][[분류:앨런 튜링]]
[include(틀:컴퓨터공학)]
[include(틀:이론 컴퓨터 과학)]
[include(틀:앨런 튜링)]

[목차]
== 개요 ==

ACM A.M. Turing Award
(Turing Award, Turing 賞, 튜링상, 튜링 어워드)

ACM(Association for Computing Machinery, [[계산기협회]])에서 [[컴퓨터과학]](전산학) 분야에 업적을 남긴 사람에게 매년 시상하는 상. ACM 연례 회의에서 시상식을 하는데 여기서 수상자가 기념 강연을 하는 것이 관례이다. 현대 [[컴퓨터과학]]의 아버지라 불리는 [[앨런 튜링]]의 이름을 따서, 1966년 제정되었다.

'''[[컴퓨터과학]]의 [[노벨상]]'''으로 불리며 [[컴퓨터과학]] 분야 인사에게 최대의 영광으로 인식된다. [[컴퓨터과학]] 및 연관분야를 공부한다면 교과서에서 들어본 이름이 많을 것이다. 학부때 듣지 못했다면 [[대학원]]에서 듣게 된다.

== 수상자 목록 ==
[include(틀:역대 튜링상 수상자)]
=== 상세 ===
||<tablebordercolor=#3e92d7><tablebgcolor=#fff,#191919><rowbgcolor=#3e92d7><width=8%> '''{{{#fff 연도}}}''' || '''{{{#fff 수상자}}}''' || '''{{{#fff 업적}}}''' ||
|| 1966년 || 앨런 펄리스 || 고급 프로그래밍 기법, [[컴파일러]] 설계 ||
|| 1967년 || 모리스 윌크스 || 라이브러리 ||
|| 1968년 || 리처드 해밍 || 자동 코딩 시스템, 오류 검출 부호 및 오류 정정 부호 ||
|| 1969년 || 마빈 민스키 || [[인공지능]] ||
|| 1970년 || 제임스 H. 윌킨슨 || 수치 해석, 선형 대수, "후방" 오류 분석 ||
|| 1971년 || [[존 매카시]] || [[LISP]] ||
|| 1972년 || [[에츠허르 데이크스트라]] || 프로그래밍 언어 연구, [[다익스트라 알고리즘]] ||
|| 1973년 || 찰스 바크만 || 데이터베이스 ||
|| 1974년 || [[도널드 커누스]] || 알고리즘 분석 및 프로그래밍 언어 개발, [[TeX]] ||
|| 1975년 || 앨런 뉴웰 / [[허버트 사이먼]] || [[인공지능]], [[인지과학]], 리스트 처리 ||
|| 1976년 || 미하엘 라빈 / 데이나 스콧 || 비결정 기계 ||
|| 1977년 || 존 배커스 || 고급 프로그래밍 시스템, 프로그래밍 언어 명세의 형식적 절차 ||
|| 1978년 || 로버트 플로이드 || 효율적이고 신뢰할 수 있는 소프트웨어 개발을 위한 방법론 ||
|| 1979년 || 케네스 아이버슨 || 프로그래밍 언어와 수학 표기법, 대화형 시스템 구현, APL의 교육적 사용, 프로그래밍 언어 이론 ||
|| 1980년 || [[토니 호어]] || 프로그래밍 언어의 정의 및 디자인 ||
|| 1981년 || 에드거 F. 커드 || [[데이터베이스]] 관리 시스템, 특히 관계형 데이터베이스 ||
|| 1982년 || 스티븐 쿡 || 계산 복잡도 ||
|| 1983년 || 켄 톰프슨 / [[데니스 리치]] || 범용 운영 체제 이론, [[유닉스]] 운영 체제 개발, [[C언어]] ||
|| 1984년 || 니클라우스 비르트 || 컴퓨터 언어 개발, [[Pascal]] ||
|| 1985년 || 리처드 카프 || 알고리즘 이론, 특히 NP-완전성에 대한 연구 ||
|| 1986년 || 존 홉크로프트 / [[로버트 타잔]] || 알고리즘 및 자료구조의 디자인 및 분석 ||
|| 1987년 || 존 코크 || 컴파일러 이론, 대형 시스템 구조 연구, RISC 개발 ||
|| 1988년 || 이반 서덜랜드 || 컴퓨터 그래픽스 ||
|| 1989년 || 윌리엄 카한 || 수치 해석 ||
|| 1990년 || 페르난도 J. 코바토 || CTSS, 멀틱스 ||
|| 1991년 || 로빈 밀너 || LCF, ML, CCS, 힌들리-밀너 타입 추론 ||
|| 1992년 || 버틀러 램슨 || 분산 컴퓨팅 환경 ||
|| 1993년 || 유리스 하르트마니스 / 리처드 스턴스 || 계산 복잡도 이론 ||
|| 1994년 || 에드워드 파이겐바움 / 라즈 래디 || 대용량 인공 지능 시스템 ||
|| 1995년 || 매뉴얼 블럼 || 계산 복잡도 이론 연구 및 이의 암호학과 프로그램 검사에 응용 ||
|| 1996년 || 아미르 프누엘리 || temporal logic, 프로그램 및 시스템 검증 ||
|| 1997년 || [[더글러스 엥겔바트]] || 대화형 컴퓨팅 ||
|| 1998년 || 짐 그레이 || 데이터베이스 및 트랜잭션 처리 ||
|| 1999년 || 프레드 브룩스 || 컴퓨터 구조, 운영 체제, 소프트웨어 공학 ||
|| 2000년 || [[앤드루 야오]] || 계산이론, 유사 난수 생성기, [[암호학]] 등 ||
|| 2001년 || 올렌-요한 달 / 크리스텐 니가드 || [[객체 지향 프로그래밍]] ||
|| 2002년 || 로널드 라이베스트 / 아디 샤미르 / 레오나르드 아델만 || [[공개키 암호화 방식|공개키 암호 시스템]] ||
|| 2003년 || 앨런 케이 || 객체 지향 프로그래밍, [[Smalltalk]] ||
|| 2004년 || 빈트 서프 / 로버트 칸 || TCP/IP를 비롯한 인터넷워크 설계 ||
|| 2005년 || 페테르 나우르 || 프로그래밍언어와 [[알골#s-3|알골 60]] 정의, 컴파일러 설계 ||
|| 2006년 || 프란시스 E. 앨런 || 고성능 컴퓨팅 ||
|| 2007년 || 에드먼드 M. 클라크 / E. 앨런 에머슨 / 조세프 시파키스 || 모델 체킹 ||
|| 2008년 || 바바라 리스코프 || 데이터 추상화, 분산 컴퓨팅. 고장허용범위 ||
|| 2009년 || 찰스 P. 태커 || 퍼스널 컴퓨터, 컴퓨터 네트워크 ||
|| 2010년 || 레슬리 밸리언트 || 기계 학습 ||
|| 2011년 || 주데아 펄 || 인공지능, 확률적 알고리즘과 원인 추론 ||
|| 2012년 || 샤피 골드바서 / [[실비오 미칼리]] || 영지식 증명, 골드바서-미칼리 암호체계 ||
|| 2013년 || 레슬리 램포트 || [[비잔틴 장애 허용|블록체인]] ||
|| 2014년 || 마이클 스톤브레이커 || [[데이터베이스]] ||
|| 2015년 || 휫필드 디피 / 마틴 헬만 || [[디피-헬만 키 교환]] ||
|| 2016년 || [[팀 버너스리]] || [[월드 와이드 웹 |www]] 의 창안 ||
|| 2017년 || [[존 헤네시]] / 데이비드 패터슨 || [[RISC]] ||
|| 2018년 || [[제프리 힌튼]] / [[요슈아 벤지오]] / [[얀 르쿤]] || [[딥러닝]] ||
|| 2019년 || 에드윈 캐트멀 / 팻 한라한 || [[컴퓨터 그래픽스]] ||
|| 2020년 || 앨프리드 에이호 / 제프리 울먼 || [[컴파일러]] ||
|| 2021년 || [[잭 동가라]] || [[High-Performance Computing(HPC)]] ||
|| 2022년 || 로버트 메칼프 || [[이더넷]] ||