본문으로 이동

튜링상

위키백과, 우리 모두의 백과사전.
ACM 튜링상
ACM Turing Award
앨런 튜링 동상
이 상의 이름이 된 앨런 튜링의 동상
수상 대상컴퓨터 과학에 대한 뛰어난 공헌
나라미국
진행ACM
상금US$1,000,000[1]
첫 시상1966년(60년 전)(1966)
웹사이트amturing.acm.org

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

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

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

수상자

[편집]
ACM 튜링상 수상자
연도 수상자 사진 선정 이유 소속 기관
1966 앨런 펄리스 "고급 컴퓨터 프로그래밍 기술 및 컴파일러 구성 분야에 기여한 공로"[16][17] 카네기 멜런 대학교
1967 모리스 윌크스 모리스 윌크스 "내부 저장 프로그램을 가진 두 번째 컴퓨터인 에드삭의 구축자이자 설계자"로서의 공헌과 프로그램 라이브러리 소개(데이비드 휠러(David Wheeler)와 스탠리 길(Stanley Gill)과 함께) 공로[18][19] 케임브리지 대학교
1968 리처드 해밍 "수치해석학 방법, 자동 코딩 시스템, 오류 검출 및 정정 코드에 대한 연구 공로"[20][21] 루이빌 대학교
벨 연구소
1969 마빈 민스키 마빈 민스키 "인공지능 분야를 창조, 형성, 홍보 및 발전시키는 데 핵심적인 역할 공로"[22][23] 매사추세츠 공과대학교
1970 제임스 H. 윌킨슨 "고속 디지털 컴퓨터 사용을 용이하게 하는 수치해석학 연구 공로, 특히 선형대수학 계산 및 '역방향' 오류 분석 작업에 대한 특별한 인정 공로"[24][25] 국립 물리학 연구소
1971 존 매카시 존 매카시 맥카시의 "인공지능 연구의 현재 상태" 강연 인용[26][27] 스탠퍼드 대학교
1972 에츠허르 데이크스트라 에츠허르 데이크스트라 "프로그래밍을 높은 지적 도전으로 만든 근본적인 공헌; 프로그램이 올바르게 구성되어야 하며 단순히 디버깅으로 올바르게 만들어서는 안 된다는 설득력 있는 주장과 실용적인 시연; 프로그램 설계의 기본 문제에 대한 통찰력 있는 인식 공로"[28][29] 네덜란드 국립수리컴퓨터과학 연구소
에인트호번 공과대학교
텍사스 대학교 오스틴
1973 찰스 바크먼 찰스 바크먼 "데이터베이스 기술에 대한 탁월한 공헌 공로"[30][31] General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하)
1974 도널드 커누스 도널드 커누스 "알고리즘 분석 및 프로그래밍 언어 설계에 대한 주요 공헌, 특히 그의 유명한 연속 시리즈 서적인 '컴퓨터 프로그래밍의 예술'을 통한 공헌 공로"[32][33] 캘리포니아 공과대학교
국방 분석 연구소 통신 및 컴퓨팅 센터
스탠퍼드 대학교
1975 앨런 뉴얼 J. C. 쇼(J. C. Shaw) 및 다른 연구자들과의 협력으로 "인공지능, 인간 인식 심리학, 리스트 처리에 대한 근본적인 공헌" 공로.[34][35][36] 랜드 연구소
카네기 멜런 대학교
허버트 사이먼

허버트 사이먼

1976 미하엘 라빈 미하엘 라빈 "비결정론적 유한 상태 기계의 개념을 도입한 공동 논문 '유한 오토마타와 그 결정 문제'(Finite Automata and Their Decision Problem)[37] 공로"[38][39][40][41] 프린스턴 대학교
데이나 스콧 데이나 스콧 시카고 대학교
1977 존 배커스 존 배커스 "특히 포트란에 대한 연구를 통해 실용적인 고급 프로그래밍 시스템 설계에 깊고 영향력 있으며 지속적인 공헌을 했고, 프로그래밍 언어 사양을 위한 형식 절차를 창시적으로 발표한 공로"[42][43] IBM
1978 로버트 W. 플로이드 "효율적이고 신뢰할 수 있는 소프트웨어 생성을 위한 방법론에 명확한 영향을 미쳤으며, 컴퓨터 과학의 중요한 하위 분야인 구문 분석 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그래밍, 알고리즘 분석을 정립하는 데 기여한 공로"[44][45] 카네기 멜런 대학교
스탠퍼드 대학교
1979 케네스 아이버슨 "프로그래밍 언어 및 수학적 표기법 분야에서 선구적인 노력을 통해 현재 컴퓨팅 분야에서 APL로 알려진 것을 만들어냈고, 대화형 시스템 구현, APL의 교육적 활용, 프로그래밍 언어 이론 및 실습에 기여한 공로"[46][47] IBM
1980 토니 호어 토니 호어 "프로그래밍 언어의 정의 및 설계에 대한 근본적인 공헌 공로"[48][49] 퀸스 대학교 벨파스트
옥스퍼드 대학교
1981 에드거 F. 코드 "데이터베이스 관리 시스템의 이론과 실제에 대한 근본적이고 지속적인 공헌 공로"[50][51] IBM
1982 스티븐 쿡 스티븐 쿡 "컴퓨팅 복잡도 이해를 중요하고 심오한 방식으로 발전시킨 공로"; 특히 그의 논문 "정리 증명 절차의 복잡도(The Complexity of Theorem Proving Procedures)"는 NP-완전 이론을 창시한 것으로 인정받는다.[52][53] 토론토 대학교
1983 데니스 리치 데니스 리치 "범용 운영체제 이론 개발과 특히 유닉스 운영체제 구현 공로"[54][55] 벨 연구소
켄 톰프슨 켄 톰프슨
1984 니클라우스 비르트 니클라우스 비르트 "혁신적인 컴퓨터 언어인 EULER, 알골 W, 모듈라, PASCAL 개발 공로"[56] 스탠퍼드 대학교
취리히 대학교
취리히 연방 공과대학교
1985 리처드 M. 카프 리처드 M. 카프 "네트워크 플로우 및 기타 조합 최적화 문제에 대한 효율적인 알고리즘 개발, 다항 시간 계산 가능성과 알고리즘 효율성의 직관적 개념 동일시, 그리고 특히 NP-완전 이론에 대한 공헌을 포함한 알고리즘 이론에 대한 지속적인 공헌 공로"[57] 캘리포니아 대학교 버클리
1986 존 홉크로프트 존 홉크로프트 "알고리즘 및 자료 구조 설계 및 분석 분야의 근본적인 업적 공로"[58][59] 코넬 대학교
로버트 타잔 로버트 타잔 스탠퍼드 대학교
코넬 대학교
캘리포니아 대학교 버클리
프린스턴 대학교
1987 존 코크 "컴파일러 설계 및 이론, 대규모 시스템 아키텍처, 축소 명령어 집합 컴퓨터(RISC) 개발에 중요한 공헌을 했으며, 강도 감소, 공통 부분식 제거, 레지스터 할당, 상수 전파, 죽은 코드 제거 등 현재 최적화 컴파일러에서 사용되는 많은 근본적인 변환을 발견하고 체계화한 공로"[60] IBM
1988 아이번 서덜랜드 아이번 서덜랜드 "스케치패드를 시작으로 이후로도 계속된 컴퓨터 그래픽스에 대한 선구적이고 비전적인 공헌 공로"[61] 스탠퍼드 대학교
하버드 대학교
유타 대학교
캘리포니아 공과대학교
1989 윌리엄 카한 윌리엄 카한 "수치해석학에 대한 근본적인 공헌"과 "부동소수점 계산 분야의 최고 전문가 중 한 명"으로서의 공로[62] 캘리포니아 대학교 버클리
1990 페르난도 J. 코바토 페르난도 J. 코바토 "범용 대규모 시분할 시스템 및 자원 공유 컴퓨터 시스템인 호환 시분할 시스템멀틱스의 개념을 조직하고 개발을 주도한 선구적인 작업 공로"[63] 매사추세츠 공과대학교
1991 로빈 밀너 수상 인용문은 그의 세 가지 주요 공헌을 언급한다: 계산 가능 함수 논리의 기계화; 자료형 추론자료형 안전을 포함한 프로그래밍 언어 ML; 통신 시스템 미적분학; 그리고 동작적 의미론표시적 의미론 의미론 사이의 연결성[64][65] 스탠퍼드 대학교
에든버러 대학교
1992 버틀러 램슨 버틀러 램슨 "분산 개인 컴퓨팅 환경 개발 및 구현 기술(워크스테이션, 컴퓨터 네트워크, 운영체제, 프로그래밍 시스템, 디스플레이, 보안문서 출판)에 기여한 공로"[66] PARC
DEC
1993 유리스 하르트마니스 유리스 하르트마니스 "계산 복잡도 이론 분야의 토대를 마련한 그들의 선구적인 논문[67]을 인정하여"[68][69][70] General Electric Research Laboratory (현재 아토스 소속 그룹 불 산하)
리처드 E. 스턴스 리처드 E. 스턴스
1994 에드워드 파이겐바움 에드워드 파이겐바움 "대규모 인공지능 시스템의 설계 및 구축을 개척하고, 인공지능 기술의 실용적 중요성과 잠재적 상업적 영향력을 입증한 공로"[71][72][73] 스탠퍼드 대학교
라지 레디 라지 레디 스탠퍼드 대학교
카네기 멜런 대학교
1995 마누엘 블룸 마누엘 블룸 "계산 복잡도 이론의 기초와 그것의 암호학프로그램 검사에 대한 응용에 기여한 공로"[74] 캘리포니아 대학교 버클리
1996 아미르 프누엘리 아미르 프누엘리 "컴퓨팅 과학에 시간 논리를 도입한 선구적인 연구와 프로그램 및 시스템 검증에 대한 탁월한 공헌 공로"[75] 스탠퍼드 대학교
텔아비브 대학교
바이츠만 과학 연구소
쿠란트 수학 과학 연구소
1997 더글러스 엥겔바트 더글러스 엥겔바트 "대화형 컴퓨팅의 미래에 대한 영감적인 비전과 이 비전을 실현하는 데 도움이 된 핵심 기술 발명 공로"[76] SRI 인터내셔널
팀셰어
맥도널 더글러스
부트스트랩 연구소/연합,[77]
더그 엥겔바트 연구소
1998 짐 그레이 짐 그레이 "데이터베이스트랜잭션 처리 연구에 대한 선구적인 공헌과 시스템 구현 분야의 기술 리더십 공로"[78] IBM
마이크로소프트
1999 프레더릭 브룩스 프레더릭 브룩스 "컴퓨터 구조, 운영체제, 소프트웨어 공학에 대한 획기적인 공헌 공로"[79] IBM
노스캐롤라이나 대학교 채플힐
2000 [[야오치즈 {{{성}}}|야오치즈 {{{성}}}]] 야오치즈 "유사난수 생성의 복잡성 기반 이론, 암호학, 통신 복잡도를 포함한 계산 이론에 대한 근본적인 공헌 공로"[80] 스탠퍼드 대학교
캘리포니아 대학교 버클리
프린스턴 대학교
2001 올레요한 달 "프로그래밍 언어 시뮬라 I 및 시뮬라 67 설계를 통해 객체 지향 프로그래밍 출현의 근간이 된 아이디어 공로"[81][82] 노르웨이 컴퓨팅 센터
오슬로 대학교
크리스텐 뉘가르드 크리스텐 뉘가르드
2002 레너드 애들먼 레너드 애들먼 "공개 키 암호 방식을 실제로 유용하게 만든 그들의 독창적인 공헌 공로"[83][84][85] 서던캘리포니아 대학교
로널드 리베스트 로널드 리베스트 매사추세츠 공과대학교
아디 샤미르 아디 샤미르
2003 앨런 케이 앨런 케이 "현대 객체 지향 프로그래밍 언어의 근간이 되는 많은 아이디어를 개척하고, 스몰토크를 개발한 팀을 이끌었으며, 개인 컴퓨팅에 근본적인 공헌을 한 공로"[86] 유타 대학교
PARC
스탠퍼드 대학교
아타리
애플 ATG
월트 디즈니 이미지니어링
뷰포인트 연구소
HP 연구소
2004 빈트 서프 빈트 서프 "인터넷의 기본 통신 프로토콜인 TCP/IP의 설계 및 구현을 포함한 인터네트워킹에 대한 선구적인 연구와 네트워킹 분야의 영감적인 리더십 공로"[87][88] 캘리포니아 대학교 로스앤젤레스
스탠퍼드 대학교, 방위고등연구계획국
MCI 커뮤니케이션즈 (현재 버라이즌 커뮤니케이션스 소속)
CNRI, 구글
로버트 칸 로버트 칸 매사추세츠 공과대학교
볼트 베라넥 앤 뉴먼
방위고등연구계획국
CNRI
2005 페테르 나우르 페테르 나우르 "프로그래밍 언어 설계 및 알골 60 정의, 컴파일러 설계, 컴퓨터 프로그래밍의 예술 및 실천에 대한 근본적인 공헌 공로"[89] Regnecentralen (현재 후지쯔 소속)
코펜하겐 대학교
2006 프랜시스 앨런 프랜시스 앨런 "현대 최적화 컴파일러와 자동 병렬 실행의 기반을 마련한 최적화 컴파일러 기술의 이론과 실제에 대한 선구적인 공헌 공로"[90] IBM
2007 에드먼드 M. 클라크 에드먼드 M. 클라크 "모델 검증을 하드웨어 및 소프트웨어 산업에서 널리 채택되는 매우 효과적인 검증 기술로 발전시키는 데 기여한 공로"[91][92][93][94] 하버드 대학교
카네기 멜런 대학교
E. 앨런 에머슨 E. 앨런 에머슨 하버드 대학교
텍사스 대학교 오스틴
조지프 시파키스 조지프 시파키스 CNRS
2008 바바라 리스코프 바바라 리스코프 "데이터 추상화, 장애 허용 시스템, 분산 컴퓨팅과 관련된 프로그래밍 언어 및 시스템 설계의 실용적이고 이론적인 기초에 기여한 공로"[14] 매사추세츠 공과대학교
2009 찰스 P. 새커 찰스 P. 새커 "최초의 현대 개인용 컴퓨터인 제록스 알토의 선구적인 설계 및 실현과 이더넷을 포함한 근거리 통신망, 다중 프로세서 워크스테이션, 스누핑 캐시 일관성 프로토콜, 태블릿 컴퓨터에 대한 선구적인 발명 및 공헌 공로"[95] PARC
DEC
마이크로소프트 연구
2010 레슬리 밸리언트 레슬리 밸리언트 "계산 이론에 대한 혁신적인 공헌, 특히 확실히 대략적으로 올바른 학습(PAC 학습) 이론, 열거 및 대수적 계산의 복잡성, 병렬 및 분산 컴퓨팅 이론에 대한 공헌 공로"[96] 하버드 대학교
2011 주데아 펄 주데아 펄 "확률적 및 인과적 추론을 위한 계산법 개발을 통해 인공지능에 근본적인 공헌을 한 공로"[97][98] 캘리포니아 대학교 로스앤젤레스
뉴저지 공과 대학
2012 샤피 골드와서 샤피 골드와서 "암호학 과학을 위한 복잡성 이론적 기초를 마련하고, 그 과정에서 복잡성 이론에서 수학적 증명의 효율적인 검증을 위한 새로운 방법을 개척한 혁신적인 연구 공로"[15][99][100] 매사추세츠 공과대학교
바이츠만 과학 연구소
실비오 미칼리 실비오 미칼리 매사추세츠 공과대학교
2013 레슬리 램포트 레슬리 램포트 "인과관계 및 논리 시계, 안전성과 활성성, 복제 상태 머신, 순차 일관성과 같은 개념 발명을 통해 분산 및 동시 시스템의 이론과 실제에 근본적인 공헌을 한 공로"[101][102][103] 매사추세츠 컴퓨터 어소시에이츠 (현재 Essig PLM 소속)
SRI 인터내셔널
DEC
컴팩 (현재 HP 소속)
마이크로소프트 연구
2014 마이클 스톤브레이커 마이클 스톤브레이커 "현대 데이터베이스 시스템의 개념과 실제에 대한 근본적인 공헌 공로"[104][105] 캘리포니아 대학교 버클리
매사추세츠 공과대학교
2015 휫필드 디피 휫필드 디피 "디지털 서명에 대한 응용을 포함한 비대칭 공개 키 암호 방식과 실용적인 암호화 키 교환 방법 발명 및 보급 공로"[106][107][108] 스탠퍼드 대학교
마틴 헬먼 마틴 헬먼
2016 팀 버너스리 팀 버너스리 "월드 와이드 웹, 최초의 웹 브라우저, 웹 확장을 가능하게 하는 근본적인 프로토콜 및 알고리즘 발명 공로"[109] 유럽 입자 물리 연구소
매사추세츠 공과대학교
월드 와이드 웹 컨소시엄
2017 존 L. 헤네시 존 L. 헤네시 "마이크로프로세서 산업에 지속적인 영향을 미친 컴퓨터 아키텍처 설계 및 평가에 대한 체계적이고 정량적인 접근 방식을 개척한 공로"[110][111][112] 스탠퍼드 대학교
데이비드 패터슨 데이비드 패터슨 캘리포니아 대학교 버클리
2018 요슈아 벤지오 요슈아 벤지오 "딥 러닝 신경망을 컴퓨팅의 핵심 구성 요소로 만든 개념적 및 공학적 돌파구 공로"[113][114][115][116] 몬트리올 대학교, 맥길 대학교,
Mila
제프리 힌턴 제프리 힌턴 토론토 대학교
캘리포니아 대학교 샌디에이고
카네기 멜런 대학교
유니버시티 칼리지 런던
에든버러 대학교
구글 AI
얀 르쿤 얀 르쿤 토론토 대학교
벨 연구소
쿠란트 수학 과학 연구소, 뉴욕 대학교
메타 AI
2019 에드윈 캐트멀 에드윈 캐트멀 "3차원 컴퓨터 그래픽스에 대한 근본적인 공헌과 영화 제작 및 기타 응용 분야에서 컴퓨터 생성 이미지(CGI)의 영향력 공로"[117][118][119] 유타 대학교
픽사
월트 디즈니 애니메이션 스튜디오
팻 핸러핸 팻 핸러핸 픽사
프린스턴 대학교
스탠퍼드 대학교
2020 앨프리드 에이호 "프로그래밍 언어 구현의 근본적인 알고리즘과 이론에 기여하고, 이들과 다른 연구자들의 결과를 매우 영향력 있는 저서에 통합하여 여러 세대의 컴퓨터 과학자들을 교육한 공로"[120][121][122] 벨 연구소
컬럼비아 대학교
제프리 울먼 벨 연구소
프린스턴 대학교
스탠퍼드 대학교
2021 잭 동가라 잭 동가라 "40년 이상 동안 기하급수적인 하드웨어 개선에 발맞춰 고성능 컴퓨팅 소프트웨어를 가능하게 한 수치 알고리즘 및 라이브러리에 대한 선구적인 공헌 공로"[123][124] 아곤 국립 연구소
오크리지 국립연구소
맨체스터 대학교
텍사스 A&M 대학교 고등연구소
테네시 대학교
라이스 대학교
2022 로버트 메칼프 로버트 메칼프 "이더넷의 발명, 표준화 및 상용화 공로"[125] 매사추세츠 공과대학교, 하버드 대학교, 팰로앨토 연구소, 텍사스 대학교 오스틴
2023 아비 위그더슨 아비 위그더슨 "계산 및 수학에서 무작위성의 역할에 대한 우리의 이해를 재구성하는 것을 포함한 계산 이론에 대한 근본적인 공헌과 이론 컴퓨터 과학에서 수십 년간의 지적 리더십 공로"[126][127] 프린스턴 고등연구소, 프린스턴 대학교, 예루살렘 히브리 대학교
2024 앤드루 바토 "강화 학습의 개념적 및 알고리즘적 기초 개발 공로"[3][128][129] 매사추세츠 대학교 애머스트
리치 서튼 리치 서튼 앨버타 대학교
Amii

같이 보기

[편집]

각주

[편집]
  1. 1 2 CACM Staff (2014). ACM's Turing Award prize raised to $1 million. Communications of the ACM 57. 20쪽. doi:10.1145/2685372.
  2. 1 2 A. M. Turing Award. ACM. 2009년 12월 12일에 원본 문서에서 보존된 문서. 2007년 11월 5일에 확인함.
  3. 1 2 ACM A.M. Turing Award Honors Two Researchers Who Led the Development of Cornerstone AI Technology (보도 자료). The Association for Computing Machinery. 2025년 3월 5일. 2025년 3월 5일에 원본 문서에서 보존된 문서.
  4. Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms. 맥그로힐. 317쪽. ISBN 978-0-07-352340-8.
  5. dblp: ACM Turing Award Lectures (영어). informatik.uni-trier.de. 2015년 1월 2일에 원본 문서에서 보존된 문서. 2023년 2월 11일에 확인함.
  6. Brown, Bob (2011년 6월 6일). Why there's no Nobel Prize in Computing. Network World. 2023년 12월 4일에 원본 문서에서 보존된 문서. 2015년 6월 3일에 확인함.
  7. Homer, Steven and Alan L. (2001). Computability and Complexity Theory. Springer. 35쪽. ISBN 978-0-387-95055-6. 2023년 4월 3일에 원본 문서에서 보존된 문서. 2007년 11월 5일에 확인함.
  8. Copeland, Jack (2012년 6월 18일). Alan Turing: The codebreaker who saved 'millions of lives'. BBC News Technology. 2014년 10월 11일에 원본 문서에서 보존된 문서. 2014년 10월 26일에 확인함.
  9. Geringer, Steven (2007년 7월 27일). ACM'S Turing Award Prize Raised To $250,000. ACM press release. 2008년 12월 30일에 원본 문서에서 보존된 문서. 2008년 10월 16일에 확인함.
  10. ACM's Turing Award Prize Raised to $1 Million. ACM. 2015년 11월 23일에 원본 문서에서 보존된 문서. 2014년 11월 13일에 확인함.
  11. Zhongkai Shangguan; Zihe Zheng; Jiebo Luo (2021). What Kind of Person Wins the Turing Award?. arXiv:2104.05636 [cs.GL]. The youngest winner was Donald Knuth, who convinced the jury with "Computer Programming as an Art" and won [the] Turing Award in 1974 at the age of 36. arXiv 인용에서 지원되지 않는 변수를 사용함 (도움말)
  12. William L. Hosch. Turing Award. 브리태니커 백과사전. 2024년 2월 5일에 원본 문서에서 보존된 문서. 2024년 3월 12일에 확인함.
  13. First Woman to Receive ACM Turing Award (보도 자료). The Association for Computing Machinery. 2007년 2월 21일. 2007년 7월 2일에 원본 문서에서 보존된 문서. 2007년 11월 5일에 확인함.
  14. 1 2 Tom van Vleck. Barbara Liskov - A.M. Turing Award Laureate. ACM. 2021년 11월 9일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  15. 1 2 Charles Rackoff. Shafi Goldwasser - A.M. Turing Award Laureate. ACM. 2024년 2월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  16. Perlis, A. J. (1967). The Synthesis of Algorithmic Systems. Journal of the ACM 14. 1–9쪽. doi:10.1145/321371.321372. S2CID 12937998.
  17. David Nofre. Alan J Perlis - A.M. Turing Award Laureate. ACM. 2012년 4월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  18. Wilkes, M. V. (1968). Computers then and Now. Journal of the ACM 15. 1–7쪽. doi:10.1145/321439.321440. S2CID 9846847.
  19. Martin Campbell-Kelly. Maurice V. Wilkes - A.M. Turing Award Laureate. ACM. 2024년 1월 7일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  20. Hamming, R. W. (1969). One Man's View of Computer Science. Journal of the ACM 16. 3–12쪽. doi:10.1145/321495.321497. S2CID 6868310.
  21. Edmund F. Robertson. Richard W. Hamming - A.M. Turing Award Laureate. ACM. 2020년 10월 30일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  22. Minsky, M. (1970). Form and Content in Computer Science (1970 ACM turing lecture). Journal of the ACM 17. 197–215쪽. doi:10.1145/321574.321575. S2CID 15661281.
  23. Patrick Henry Winston. Marvin Minsky - A.M. Turing Award Laureate. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  24. Wilkinson, J. H. (1971). Some Comments from a Numerical Analyst. Journal of the ACM 18. 137–147쪽. doi:10.1145/321637.321638. S2CID 37748083.
  25. Beresford Neill Parlett. James Hardy ("Jim") Wilkinson - A.M. Turing Award Laureate. ACM. 2024년 1월 5일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  26. McCarthy, J. (1987). Generality in artificial intelligence. Communications of the ACM 30. 1030–1035쪽. doi:10.1145/33447.33448. S2CID 1045033. 2017년 9월 21일에 원본 문서에서 보존된 문서. 2017년 11월 1일에 확인함.
  27. Lester Earnest. John Mccarthy - A.M. Turing Award Laureate. ACM. 2016년 9월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  28. Dijkstra, E. W. (1972). The humble programmer. Communications of the ACM 15. 859–866쪽. doi:10.1145/355604.361591.
  29. Hamilton Richards. Edsger Wybe Dijkstra - A.M. Turing Award Laureate. ACM. 2024년 2월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  30. Bachman, C. W. (1973). The programmer as navigator. Communications of the ACM 16. 653–658쪽. doi:10.1145/355611.362534.
  31. Thomas Haigh. Charles William Bachman - A.M. Turing Award Laureate. ACM. 2020년 10월 2일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  32. Knuth, D. E. (1974). Computer programming as an art. Communications of the ACM 17. 667–673쪽. doi:10.1145/361604.361612.
  33. David Walden. Donald ("Don") Ervin Knuth - A.M. Turing Award Laureate. ACM. 2019년 10월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  34. Newell, A.; Simon, H. A. (1976). Computer science as empirical inquiry: Symbols and search. Communications of the ACM 19. 113쪽. doi:10.1145/360018.360022.
  35. Hunter Heyck. Allen Newell - A.M. Turing Award Laureate. ACM. 2020년 10월 16일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  36. Hunter Heyck. Herbert ("Herb") Alexander Simon - A.M. Turing Award Laureate. ACM. 2021년 4월 18일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  37. Rabin, M. O.; Scott, D. (1959). Finite Automata and Their Decision Problems. IBM Journal of Research and Development 3. 114쪽. doi:10.1147/rd.32.0114. S2CID 3160330.
  38. Rabin, M. O. (1977). Complexity of computations. Communications of the ACM 20. 625–633쪽. doi:10.1145/359810.359816.
  39. Scott, D. S. (1977). Logic and programming languages. Communications of the ACM 20. 634–641쪽. doi:10.1145/359810.359826.
  40. Michael O. Rabin - A.M. Turing Award Laureate. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  41. Dana Steward Scott - A.M. Turing Award Laureate. ACM. 2024년 2월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  42. Backus, J. (1978). Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs. Communications of the ACM 21. 613–641쪽. doi:10.1145/359576.359579.
  43. Grady Booch. John Backus - A.M. Turing Award Laureate. ACM. 2024년 1월 5일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  44. Floyd, R. W. (1979). The paradigms of programming. Communications of the ACM 22. 455–460쪽. doi:10.1145/359138.359140.
  45. Robert W. Floyd - A.M. Turing Award Laureate. amturing.acm.org. 2025년 10월 18일에 확인함.
  46. Iverson, K. E. (1980). Notation as a tool of thought. Communications of the ACM 23. 444–465쪽. doi:10.1145/358896.358899.
  47. Keith Smillie. Kenneth E. ("Ken") Iverson - A.M. Turing Award Laureate. ACM. 2019년 4월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  48. Hoare, C. A. R. (1981). The emperor's old clothes. Communications of the ACM 24. 75–83쪽. doi:10.1145/358549.358561.
  49. Cliff Jones. C. Antony ("Tony") R. Hoare - A.M. Turing Award Laureate. ACM. 2012년 7월 1일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  50. Codd, E. F. (1982). Relational database: A practical foundation for productivity. Communications of the ACM 25. 109–117쪽. doi:10.1145/358396.358400.
  51. C. J. Date. Edgar F. ("Ted") Codd - A.M. Turing Award Laureate. ACM. 2017년 12월 23일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  52. Cook, S. A. (1983). An overview of computational complexity. Communications of the ACM 26. 400–408쪽. doi:10.1145/358141.358144.
  53. Bruce Kapron. Stephen Arthur Cook - A.M. Turing Award Laureate. ACM. 2024년 3월 4일에 확인함. |보존url=이 잘못됨: timestamp (도움말)
  54. Tom Van Vleck. A.M. Turing Award Laureate – Kenneth Lane Thompson. ACM. 2019년 8월 9일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
  55. Tom Van Vleck. A.M. Turing Award Laureate – Dennis M. Ritchie. ACM. 2021년 10월 20일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
  56. Thomas Haigh. Niklaus E. Wirth - A.M. Turing Award Laureate. ACM. 2017년 6월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  57. B. Simons; D. Gusfield. Richard ("Dick") Manning Karp - A.M. Turing Award Laureate. ACM. 2017년 7월 4일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  58. John E. Hopcroft - A.M. Turing Award Laureate. ACM. 2021년 10월 27일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  59. V. King. Robert (Bob) Endre Tarjan - A.M. Turing Award Laureate. ACM. 2017년 10월 30일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  60. Michael G. Burke; Vivek Sarkar. John Cocke - A.M. Turing Award Laureate. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  61. Robert Burton. Ivan Sutherland - A.M. Turing Award Laureate. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  62. Thomas Haigh. William ("Velvel") Morton Kahan - A.M. Turing Award Laureate. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  63. T. Van Vleck. Fernando J ("Corby") Corbato - A.M. Turing Award Laureate. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  64. Milner, R. (1993). Elements of interaction: Turing award lecture. Communications of the ACM 36. 78–89쪽. doi:10.1145/151233.151240.
  65. Michael Fourman. Arthur John Robin Gorell ("Robin") Milner - A.M. Turing Award Laureate. ACM. 2021년 11월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  66. Roy Levin. Butler W Lampson - A.M. Turing Award Laureate. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  67. Hartmanis, J.; Stearns, R. E. (1965). On the Computational Complexity of Algorithms. Transactions of the American Mathematical Society 117. 285–306쪽. doi:10.2307/1994208. ISSN 0002-9947.
  68. Stearns, R. E. (1994). Turing Award lecture: It's time to reconsider time. Communications of the ACM 37. 95–99쪽. doi:10.1145/188280.188379.
  69. Allan Borodin. Juris Hartmanis - A.M. Turing Award Laureate. ACM. 2024년 1월 21일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  70. Richard ("Dick") Edwin Stearns - A.M. Turing Award Laureate. ACM. 2024년 1월 21일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  71. Reddy, R. (1996). To dream the possible dream. Communications of the ACM 39. 105–112쪽. doi:10.1145/229459.233436.
  72. Nils J. Nilsson. Edward A ("Ed") Feigenbaum - A.M. Turing Award Laureate. ACM. 2024년 1월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  73. Nils J. Nilsson. Dabbala Rajagopal ("Raj") Reddy - A.M. Turing Award Laureate. ACM. 2023년 12월 10일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  74. Christos H. Papadimitriou. A.M. Turing Award Laureate – Manuel Blum. ACM. 2021년 10월 23일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
  75. Lenore Zuck. A.M. Turing Award Laureate – Amir Pnueli. ACM. 2021년 10월 20일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
  76. Thierry Bardini. A.M. Turing Award Laureate – Douglas Engelbart. ACM. 2017년 7월 4일에 원본 문서에서 보존된 문서. 2018년 11월 4일에 확인함.
  77. The Doug Engelbart Institute. The Doug Engelbart Institute. 2012년 7월 14일에 원본 문서에서 보존된 문서. 2012년 6월 17일에 확인함.
  78. Paul McJones. James ("Jim") Nicholas Gray - A.M. Turing Award Laureate. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  79. Grady Booch. Frederick ("Fred") Brooks - A.M. Turing Award Laureate. ACM. 2021년 10월 29일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  80. Bruce Kapron. Andrew Chi-Chih Yao - A.M. Turing Award Laureate. ACM. 2017년 7월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  81. Andrew P. Black. Ole-Johan Dahl - A.M. Turing Award Laureate. ACM. 2021년 10월 12일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  82. Ole Lehrman Madsen. Kristen Nygaard - A.M. Turing Award Laureate. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  83. Ronald (Ron) Linn Rivest - A.M. Turing Award Laureate. ACM. 2021년 10월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  84. Adi Shamir - A.M. Turing Award Laureate. ACM. 2023년 12월 10일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  85. Joseph Bebel; Shang-Hua Teng. Leonard (Len) Max Adleman - A.M. Turing Award Laureate. ACM. 2023년 10월 3일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  86. Susan B. Barnes. Alan Kay - A.M. Turing Award Laureate. ACM. 2021년 10월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  87. Janet Abbate. Vinton ("Vint") Gray Cerf - A.M. Turing Award Laureate. ACM. 2021년 10월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  88. Janet Abbate. Robert (Bob) Elliot Kahn - A.M. Turing Award Laureate. ACM. 2019년 7월 13일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  89. Edgar G. Daylight. Peter Naur - A.M. Turing Award Laureate. ACM. 2018년 6월 12일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  90. Guy Steele. Frances ("Fran") Elizabeth Allen - A.M. Turing Award Laureate. ACM. 2022년 4월 7일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  91. 2007 Turing Award Winners Announced. 2009년 11월 2일에 원본 문서에서 보존된 문서. 2008년 12월 9일에 확인함.
  92. Ted Kirkpatrick. Edmund Melson Clarke - A.M. Turing Award Laureate. ACM. 2024년 1월 4일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  93. Thomas Wahl. E. Allen Emerson - A.M. Turing Award Laureate. ACM. 2024년 2월 26일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  94. Cristian S. Calude. Joseph Sifakis - A.M. Turing Award Laureate. ACM. 2023년 11월 28일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  95. Charles P. (Chuck) Thacker - A.M. Turing Award Laureate. ACM. 2021년 10월 10일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  96. Leslie Gabriel Valiant - A.M. Turing Award Laureate. ACM. 2021년 11월 17일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  97. Pearl, Judea (2007). ACM Turing Award Lectures. doi:10.1145/1283920. ISBN 978-1-4503-1049-9. 2020년 10월 21일에 원본 문서 (mp4)에서 보존된 문서. 2020년 11월 16일에 확인함.
  98. Stuart J. Russell. Judea Pearl - A.M. Turing Award Laureate. ACM. 2017년 8월 26일에 원본 문서에서 보존된 문서. 2012년 3월 15일에 확인함.
  99. Turing award 2012. ACM. 2013년 3월 18일에 원본 문서에서 보존된 문서.
  100. Avi Wigderson. Silvio Micali - A.M. Turing Award Laureate. ACM. 2023년 12월 11일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  101. Turing award 2013. ACM. 2016년 1월 16일에 원본 문서에서 보존된 문서. 2014년 3월 18일에 확인함.
  102. Lamport, L. (1978). Time, clocks, and the ordering of events in a distributed system (PDF). 커뮤니케이션스 오브 더 ACM 21. 558–565쪽. CiteSeerX 10.1.1.155.4742. doi:10.1145/359545.359563. S2CID 215822405. 2008년 10월 31일에 원본 문서 (PDF)에서 보존된 문서. 2015년 8월 28일에 확인함.
  103. Dahlia Malkhi; Martin Abadi; Hagit Attiya; Idit Keidar; Nancy Lynch; Nir Shavit; George Varghese; Len Shustek. Leslie Lamport - A.M. Turing Award Laureate. ACM. 2023년 6월 1일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  104. Turing award 2014. ACM. 2017년 7월 3일에 원본 문서에서 보존된 문서. 2015년 3월 25일에 확인함.
  105. Thomas Haigh. Michael Stonebreaker - A.M. Turing Award Laureate. ACM. 2024년 1월 25일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  106. Diffie, W.; Hellman, M. (1976). New directions in cryptography (PDF). IEEE Transactions on Information Theory 22. 644–654쪽. Bibcode:1976ITIT...22..644D. CiteSeerX 10.1.1.37.9720. doi:10.1109/TIT.1976.1055638. 2017년 12월 3일에 원본 문서 (PDF)에서 보존된 문서. 2016년 3월 4일에 확인함.
  107. Cryptography Pioneers Receive 2015 ACM A.M. Turing Award. ACM. 2017년 7월 4일에 원본 문서에서 보존된 문서. 2016년 3월 1일에 확인함.
  108. Jeffrey R. Yost. Martin Hellman - A.M. Turing Award Laureate. ACM. 2022년 9월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  109. Turing award 2016. ACM. 2017년 4월 6일에 원본 문서에서 보존된 문서. 2017년 4월 4일에 확인함.
  110. Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award. ACM. 2018년 3월 25일에 원본 문서에서 보존된 문서. 2018년 3월 21일에 확인함.
  111. Charles H. House. John L Hennessy - A.M. Turing Award Laureate. ACM. 2018년 3월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  112. Charles H. House. Charles Patterson - A.M. Turing Award Laureate. ACM. 2024년 1월 7일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  113. Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award. ACM. 2021년 8월 23일에 원본 문서에서 보존된 문서. 2019년 3월 27일에 확인함.
  114. Thomas Haigh. Yoshua Bengio - A.M. Turing Award Laureate. ACM. 2020년 11월 27일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  115. Thomas Haigh. Geoffrey E. Hinton - A.M. Turing Award Laureate. ACM. 2021년 12월 6일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  116. Thomas Haigh. Yann LeCun - A.M. Turing Award Laureate. ACM. 2023년 3월 27일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  117. 2019 ACM A.M. Turing Award Laureates (영어). ACM. 2020년 3월 18일에 원본 문서에서 보존된 문서. 2023년 2월 11일에 확인함.
  118. Edwin E. Catmull - A.M. Turing Award Laureate. ACM. 2023년 11월 23일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  119. Patrick M. Hanrahan - A.M. Turing Award Laureate. ACM. 2024년 1월 4일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  120. Columbia's Alfred Aho and Stanford's Jeffrey Ullman receive 2020 ACM A.M. Turing Award (영어). ACM. 2021년 3월 31일에 원본 문서에서 보존된 문서. 2023년 2월 11일에 확인함.
  121. Thomas Haigh. Alfred Vaino Aho - A.M. Turing Award Laureate. ACM. 2024년 1월 13일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  122. Thomas Haigh. Jeffrey David Ullman - A.M. Turing Award Laureate. ACM. 2024년 1월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  123. Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award (영어). ACM. 2022년 5월 5일에 원본 문서에서 보존된 문서. 2022년 3월 30일에 확인함.
  124. Thomas Haigh. Dr. Jack Dongarra - A.M. Turing Award Laureate. ACM. 2024년 1월 22일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  125. Robert Melancton Metcalfe - A.M. Turing Award Laureate. ACM. 2024년 1월 13일에 원본 문서에서 보존된 문서. 2024년 3월 4일에 확인함.
  126. Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award (영어). awards.acm.org. 2024년 4월 10일에 원본 문서에서 보존된 문서. 2024년 4월 10일에 확인함.
  127. Avi Wigderson - A.M. Turing Award Laureate. amturing.acm.org. 2025년 10월 18일에 확인함.
  128. Andrew Barto - A.M. Turing Award Laureate. amturing.acm.org. 2025년 10월 18일에 확인함.
  129. Dr. Richard Sutton - A.M. Turing Award Laureate. amturing.acm.org. 2025년 10월 18일에 확인함.

추가 자료

[편집]

외부 링크

[편집]