튜링상

Turing Award
AC 튜링상
수상자컴퓨터 과학 분야의 탁월한 공헌
나라미국
발표자:ACM(Association for Computing Machinery)
포상금미화 1,000,000달러[1]
최초수상1966년, 58년 전 (1966)
최종 수상2022
웹사이트amturing.acm.org
Photo of Alan Turing
앨런 튜링, 그의 이름을 딴 상.

The ACM A.M. 튜링상은 컴퓨터 과학에 지속적이고 주요한 기술적 중요성을 기여한 공로로 ACM(Association for Computing Machinery)이 매년 수여하는 상입니다.[2] 일반적으로 컴퓨터 과학에서 가장 높은 구분으로 인식되며 구어체로 "컴퓨터의 노벨상"으로 알려지거나 종종 언급됩니다.[3][4][5]

이 상은 영국 수학자이자 맨체스터 대학의 수학 독자였던 앨런 튜링(Alan Turing)의 이름을 따서 지어졌습니다. 튜링은 종종 이론 컴퓨터 과학과 인공 지능의[6] 창시자이자 제2차 세계 대전 동안 연합군의 에니그마 암호 암호 분석에 주요 기여자로 인정받습니다.

2007년부터 2013년까지 이 상은 인텔과 구글이 재정적 지원을 제공한 250,000달러의 상금과 함께 수여되었습니다.[2][7] 이 상은 2014년부터 100만 달러의 상금과 함께 구글이 재정적 지원을 제공하고 있습니다.[1][8]

1966년 카네기 멜론 대학의 앨런 펄리스(Alan Perlis)가 첫 수상자였습니다. 이 상을 받은 여성은 단 세 명뿐입니다. 프랜시스 앨런(2006년),[9] 바바라 리스코프(2008년),[10] 샤피 골드바서(2012년).[11] 2023년 현재 76명이 수상했으며, 가장 최근 수상자는 2022년 이더넷을 발명한 로버트 메트칼페(Robert Metcalfe)입니다.[12]

수취인

ACM 튜링상 수상자
연도 수취인 사진 근거 소속기관
1966 앨런 펄리스 고급 컴퓨터 프로그래밍 기술과 컴파일러 구성 분야에서 그의 영향력을 인정받았습니다.[13][14] 카네기 멜론 대학교
1967 모리스 윌크스 Wilkes는 내부에 저장된 프로그램이 있는 두 번째 컴퓨터인 EDSAC의 제작자이자 디자이너로 가장 잘 알려져 있습니다. 1949년에 건설된 EDSAC는 수은 지연선 메모리를 사용했습니다. 그는 1951년에 프로그램 라이브러리가 효과적으로 도입된 "전자 디지털 컴퓨터를 위한 프로그램 준비"에 관한 책의 저자로도 알려져 있습니다.[15][16] 케임브리지 대학교
1968 리처드 해밍 수치적 방법, 자동 코딩 시스템, 오류 감지 및 오류 수정 코드에 대한 그의 연구.[17][18] 벨 연구소
1969 마빈 민스키 인공 지능 분야를 만들고, 형성하고, 홍보하고, 발전시키는 그의 중심적인 역할을 위해.[19][20] 매사추세츠 공과대학교
1970 제임스 H. 윌킨슨 고속 디지털 컴퓨터의 사용을 용이하게 하기 위한 수치 해석 연구로 선형 대수학과 "역방향" 오류 분석에 대한 그의 연구는 특별한 인정을 받았습니다.[21][22] 국립물리연구소
1971 존 매카시 매카시의 강연 '인공지능 연구의 현주소'는 그가 자신의 연구로 상당한 인정을 받은 분야를 다루는 주제입니다.[23][24] 스탠퍼드 대학교
1972 Edsger W. Dijkstra Edsger Dijkstra는 1950년대 후반에 명확성과 수학적 엄격성의 모델이 된 고급 프로그래밍 언어인 ALGOL을 개발하는 데 주요 기여했습니다. 그는 일반적으로 프로그래밍 언어의 과학과 예술에 대한 주요 지지자 중 한 명이며, 그 구조, 표현 및 구현에 대한 우리의 이해에 크게 기여했습니다. 그의 15년간의 출판물은 그래프 이론에 관한 이론적인 기사부터 프로그래밍 언어 분야의 기본 매뉴얼, 설명문, 철학적 고찰에 이르기까지 다양합니다.[25][26] 센트룸 비스쿤데 & 인포매티카,
아인트호벤 공과대학,
텍사스 대학교 오스틴
1973 샤를 바흐만 데이터베이스 기술에 대한 그의 뛰어난 공헌.[27][28] 종합전기연구소(현 아토스사 그룹불 산하)
1974 도널드 크누스 알고리즘 분석과 프로그래밍 언어 설계에 주요한 기여를 한 점, 특히 이 제목에 의한 연속 시리즈에서 유명한 책을 통해 "컴퓨터 프로그래밍 기술"[29][30]에 기여한 점. 캘리포니아 공과대학,
통신 연구 센터, 통신 및 컴퓨팅 센터, 국방 분석 연구소,
스탠퍼드 대학교
1975 알렌 뉴웰 처음에는 J.C.와 협력하여 20년에 걸쳐 공동으로 과학적 노력을 기울였습니다. RAND Corporation의 Shaw와 카네기 멜론 대학의 수많은 교수진 및 학생 동료들과 함께 인공 지능, 인간 인지 심리 및 목록 처리에 기본적인 기여를 했습니다.[31][32] 랜드사,
카네기 멜론 대학교
허버트 A. 시몬

1976 마이클 오 라빈 이 분야의 후속 작업을 위한 지속적인 영감의 원천인 비결정론적 기계의 아이디어를 소개한 그들의 공동 논문 "무한 오토마타와 그들의 결정 문제"[33][34][35][36]를 위해. 프린스턴 대학교
다나 스콧 시카고 대학교
1977 존 배커스 특히 FORTRAN에 대한 그의 연구를 통해 실용적인 고급 프로그래밍 시스템의 설계에 심오하고 영향력 있으며 지속적인 기여를 하고 프로그래밍 언어 사양에 대한 공식 절차의 중요한 출판을 위해.[37][38] IBM
1978 로버트 W. 플로이드 효율적이고 신뢰할 수 있는 소프트웨어를 만들기 위한 방법론에 명확한 영향을 미치고 컴퓨터 과학의 중요한 하위 분야인 구문 분석 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그램 합성 및 알고리즘 분석을 찾는 데 도움을 주기 때문입니다.[39] 카네기 멜론 대학교,
스탠퍼드 대학교
1979 케네스 E. 아이버슨 프로그래밍 언어와 수학적 표기법에 대한 선구적인 노력으로 현재 컴퓨팅 분야가 APL로 알고 있는 것을 만들어낸 공로, 대화형 시스템 구현, APL의 교육적 사용, 프로그래밍 언어 이론 및 실습에 대한 기여.[40][41] IBM
1980 토니 호어 프로그래밍 언어의 정의와 설계에 대한 그의 근본적인 기여에 대해.[42][43] 퀸즈 대학교 벨파스트,
옥스퍼드 대학교
1981 에드가 F. 코드드 데이터베이스 관리 시스템, 특히 관계형 데이터베이스의 이론과 실무에 대한 그의 근본적이고 지속적인 기여로.[44][45] IBM
1982 스티븐 쿡 계산의 복잡성에 대한 우리의 이해를 그가 중요하고 심오한 방식으로 발전시킨 것에 대해.[46][47] 토론토 대학교
1983 켄 톰슨 일반적인 운영 체제 이론을 개발하고 특히 UNIX 운영 체제 구현을 위해.[48][49] 벨 연구소
데니스 리치
1984 니클라우스 워스 일련의 혁신적인 컴퓨터 언어를 개발하기 위해 오일러, ALGOL-W, 파스칼, MODULA 및 Oberon.[50] 스탠퍼드 대학교,
취리히 대학교
ETH 취리히
1985 리처드 M. 카프 네트워크 흐름 및 기타 조합 최적화 문제에 대한 효율적인 알고리즘 개발을 포함한 알고리즘 이론에 대한 그의 지속적인 기여로, 알고리즘 효율성의 직관적 개념을 사용한 다항식 시간 계산 가능성의 식별, 특히 NP-완전성 이론에 대한 기여.[51] 캘리포니아 대학교 버클리
1986 존 홉크로프트 알고리즘 및 데이터 구조 설계 및 분석의 근본적인 성과를 위해.[52] 코넬 대학교
로버트 타잔 스탠퍼드 대학교,
코넬대학교,
캘리포니아 대학교 버클리,
프린스턴 대학교
1987 존 콕 컴파일러 설계 및 이론에 중요한 기여를 하기 위해 대규모 시스템의 아키텍처와 축소 명령어 세트 컴퓨터(RISC)[53] 개발. IBM
1988 이반 서덜랜드 Sketchpad를 시작으로 계속해서 컴퓨터 그래픽에 대한 선구적이고 선견지명적인 기여를 한 공로로.[54] 스탠퍼드 대학교,
하버드 대학교,
유타대학교,
캘리포니아 공과대학
1989 윌리엄 케이한 수치 분석에 대한 그의 근본적인 공헌. 부동 소수점 계산에 대한 최고의 전문가 중 한 명입니다. 카한은 "수치 계산에 안전한 세상을 만드는 것"에 헌신했습니다.[55] 캘리포니아 대학교 버클리
1990 페르난도 J. 코르바토 개념을 조직하고 범용, 대규모, 시간 공유 및 자원 공유 컴퓨터 시스템, CTSS 및 Multics의 개발을 주도한 선구적인 작업으로 인해.[56] 매사추세츠 공과대학교
1991 로빈 밀너 세 가지 구별되고 완전한 성과를 위해: 1) Scott's Logic of Computable Functions의 기계화, 아마도 기계 보조 증명 구성을 위한 최초의 이론적 기반이지만 실용적인 도구; 2) 다형성 유형 추론을 유형 안전 예외 처리 메커니즘과 함께 포함하는 최초의 언어인 ML; 3) CCS, 동시성의 일반론 또한 그는 운영적 의미론과 표시적 의미론의 관계에 대한 연구인 완전 추상화를 공식화하고 강력하게 발전시켰습니다.[57][58] 스탠퍼드 대학교,
에든버러 대학교
1992 버틀러 램슨 분산된 개인용 컴퓨팅 환경과 그 구현을 위한 기술 개발에 기여하기 위해 워크스테이션, 네트워크, 운영 체제, 프로그래밍 시스템, 디스플레이, 보안 및 문서 게시.[59] PARC,
DEC
1993 주리스 하트마니스 계산 복잡성 이론 분야의 기초를 확립한 중요한 논문을 인정받아.[60][61][62] 종합전기연구소(현 아토스사 그룹불 산하)
리처드 E. 스턴스
1994 에드워드 파이겐바움 대규모 인공 지능 시스템의 설계 및 구축을 개척하기 위해 인공 지능 기술의 실질적인 중요성과 잠재적인 상업적 영향을 입증합니다.[63][64][65] 스탠퍼드 대학교
라지 레디 스탠퍼드 대학교,
카네기 멜론 대학교
1995 마누엘 블럼 계산 복잡도 이론의 기초와 암호학 및 프로그램 검사에 대한 적용에 기여한 공로를 인정받아.[66] 캘리포니아 대학교 버클리
1996 Amir Pnueli 시간 논리를 컴퓨팅 과학에 도입하고 프로그램 및 시스템 검증에 탁월한 기여를 한 중요한 작업을 위해.[67] 스탠퍼드 대학교,
텔아비브 대학교
바이즈만 과학연구소,
쿠랑트 수리과학연구소
1997 더글러스 엥겔바트 대화형 컴퓨팅의 미래에 대한 영감을 주는 비전과 이 비전을 실현하는 데 도움이 되는 주요 기술의 발명을 위해.[68] SRI 인터내셔널,
Tymshare,
맥도넬 더글러스,
부트스트랩 인스티튜트/얼라이언스,[69]
더그 엥겔바트 연구소
1998 짐 그레이 데이터베이스 및 트랜잭션 처리 연구에 중요한 기여를 하고 시스템 구현에 대한 기술 리더십을 제공합니다.[70] IBM,
마이크로소프트
1999 프레드 브룩스 컴퓨터 아키텍처, 운영 체제 및 소프트웨어 엔지니어링에 획기적인 기여를 할 수 있습니다.[71] IBM,
노스캐롤라이나 대학교 채플힐
2000 앤드루 야오 의사 난수 생성의 복잡도 기반 이론, 암호학 및 통신 복잡도를 포함한 계산 이론에 대한 그의 근본적인 기여를 인정받아.[72] 스탠퍼드 대학교,
캘리포니아 대학교 버클리,
프린스턴 대학교
2001 올레-조한 달 객체 지향 프로그래밍의 출현에 기본적인 아이디어를 위해 프로그래밍 언어 Simula I 및 Simula 67의 설계를 통해.[73] 노르웨이 컴퓨팅 센터,
오슬로 대학교
크리스틴 니가드
2002 론 리베스트 공개 키 암호화를 실제로 유용하게 만드는 데 기발한 기여를 한 덕분입니다.[74] 매사추세츠 공과대학교
아디 샤미르
레너드 애들먼 서던캘리포니아 대학교
2003 앨런 케이 현대 객체 지향 프로그래밍 언어의 뿌리에 있는 많은 아이디어를 개척하고 Smalltalk을 개발한 팀을 이끌고 개인 컴퓨팅에 근본적인 기여를 하기 위해서입니다.[75] 유타대학교,
PARC,
스탠퍼드 대학교,
아타리,
애플 ATG,
월트 디즈니 이매진링,
관점연구소,
HP연구소
2004 빈트 세르프 인터넷의 기본 통신 프로토콜인 TCP/IP의 설계 및 구현을 포함한 인터넷 네트워킹에 대한 선구적인 작업과 네트워킹에 대한 영감을 얻은 리더십을 위해.[76] 캘리포니아 대학교 로스앤젤레스
스탠퍼드 대학교, DARPA,
MCI(현재 버라이즌 산하),
CNRI, 구글
밥 칸 매사추세츠 공과대학교,
볼트 베라넥과 뉴먼은
DARPA,
CNRI
2005 피터 나우르 프로그래밍 언어 설계 및 ALGOL 60의 정의, 컴파일러 설계 및 컴퓨터 프로그래밍의 기술 및 실무에 대한 근본적인 기여를 위해.[77] 레그네센트랄렌(현재 후지쯔 산하),
코펜하겐 대학교
2006 프랜시스 알렌 현대적인 컴파일러 최적화와 자동 병렬 실행의 기초를 마련한 컴파일러 기법 최적화 이론과 실무에 선구적인 기여를 위해.[78] IBM
2007 에드먼드 M. 클라크 하드웨어 및 소프트웨어 산업에서 널리 채택되는 매우 효과적인 검증 기술로 모델 검사를 개발하는 역할을 담당합니다.[79][80] 하버드 대학교,
카네기 멜론 대학교
E. 알렌 에머슨 하버드 대학교,
텍사스 대학교 오스틴
조지프 시파키스 프랑스 국립과학연구센터
2008 바바라 리스코프 특히 데이터 추상화, 내결함성 및 분산 컴퓨팅과 관련된 프로그래밍 언어 및 시스템 설계의 실용적이고 이론적인 기초에 기여합니다.[10] 매사추세츠 공과대학교
2009 찰스 P. 터커 최초의 현대식 개인용 컴퓨터인 제록스 알토의 선구적인 디자인과 실현,[81] 그리고 이더넷과 태블릿 PC에 대한 공헌으로. PARC,
DEC,
마이크로소프트조사.
2010 레슬리 발리언트 아마도 대략적으로 정확한(PAC) 학습 이론, 열거 및 대수 계산의 복잡성, 병렬 및 분산 컴퓨팅 이론을 포함하여 계산 이론에 대한 혁신적인 기여의 경우.[82] 하버드 대학교
2011 유대 펄 확률적, 인과적 추론을 위한 미적분학 개발을 통한 인공지능에 대한 근본적인 기여를 위해.[83][84] 캘리포니아 대학교 로스앤젤레스
뉴저지 공과대학교
2012 실비오 미칼리 암호학 과학의 복잡성 이론적 토대를 마련하고 그 과정에서 복잡성 이론에서 수학적 증명을 효율적으로 검증할 수 있는 새로운 방법을 개척한 혁신적인 작업을 위해.[85][11] 매사추세츠 공과대학교
샤피 골드바서 매사추세츠 공과대학교,
바이츠만 과학 연구소
2013 레슬리 램포트 분산 시스템과 동시 시스템의 이론과 실천에 대한 근본적인 기여를 위해, 특히 인과 관계와 논리 시계, 안전과 라이브니스, 복제된 상태 기계 및 순차적 일관성과 같은 개념의 발명.[86][87][88] 매사추세츠 컴퓨터 협회(현재는 에시그 PLM 산하),
SRI 인터내셔널,
DEC,
컴팩(현재 HP 산하),
마이크로소프트조사.
2014 마이클 스톤브레이커 최신 데이터베이스 시스템의 기본이 되는 개념과 관행에 대한 근본적인 기여를 위해.[89][90] 캘리포니아 대학교 버클리,
매사추세츠 공과대학교
2015 휘트필드 디피 현대 암호학에 대한 근본적인 기여를 위해. Diffie and Hellman의 획기적인 1976년 논문인 "암호학의 새로운 방향"[91]은 오늘날 인터넷에서 가장 정기적으로 사용되는 보안 프로토콜의 기초인 공개 키 암호학과 디지털 서명의 아이디어를 소개했습니다.[92][93] 스탠퍼드 대학교
마틴 헬먼
2016 팀 버너스리 월드 와이드 웹, 최초의 웹 브라우저, 그리고 웹 확장을 가능하게 하는 기본 프로토콜 및 알고리즘을 발명하기 위해.[94] CERN,
매사추세츠 공과대학교,
월드 와이드 웹 컨소시엄
2017 존 L. 헤네시 마이크로프로세서 산업에 지속적인 영향을 미치는 컴퓨터 아키텍처의 설계 및 평가에 대한 체계적이고 정량적인 접근법을 개척하기 위한 것입니다.[95][96] 스탠퍼드 대학교
데이비드 패터슨 캘리포니아 대학교 버클리
2018 요수아 벤지오 심층 신경망을 컴퓨팅의 중요한 구성 요소로 만든 개념 및 엔지니어링 혁신을 위해.[97][98] 몽트렐 대학교, 맥길 대학교,
밀라
제프리 힌튼 토론토 대학교,
캘리포니아 대학교 샌디에고,
카네기 멜론 대학교,
유니버시티 칼리지 런던,
에딘버러 대학교
구글 AI
Yann LeCun 토론토 대학교,
벨 연구소,
뉴욕대학교 쿠랑트 수학과학연구소,
메타 AI
2019 에드윈 캣멀 3-D 컴퓨터 그래픽에 대한 근본적인 기여와 이러한 기술이 영화 제작 및 기타 응용 분야에서 컴퓨터 생성 이미지(CGI)[99][100][101]에 미치는 혁명적인 영향을 위해. 유타대학교,
픽사,
월트 디즈니 애니메이션 스튜디오
팻 한라한 픽사,
프린스턴 대학교
스탠퍼드 대학교
2020 알프레드 아호 프로그래밍 언어 구현의 기초가 되는 기본 알고리즘과 이론을 위해, 그리고 이러한 결과와 다른 사람들의 결과를 여러 세대의 컴퓨터 과학자들을 교육한 영향력 있는 책에 합성하기 위해.[102][103] 벨 연구소,
컬럼비아 대학교
제프리 울먼 벨 연구소,
프린스턴 대학교
스탠퍼드 대학교
2021 잭 동가라 고성능 컴퓨팅 소프트웨어가 40년 동안 기하급수적인 하드웨어 개선에 발맞출 수 있도록 해준 수치 알고리즘과 라이브러리에 대한 선구적인 기여를 위해.[104][105] 아르곤 국립 연구소,
오크리지 국립 연구소,
맨체스터 대학교,
텍사스 A&M 대학교고등연구원,
테네시 대학교
라이스 대학교
2022 로버트 메트칼페 이더넷의 발명, 표준화 및 상용화를 위한 것입니다.[12][106] 매사추세츠 공과대학교, 하버드 대학교, 제록스 PARC, 텍사스 대학교 오스틴 캠퍼스

참고 항목

참고문헌

  1. ^ a b CACM Staff (2014). "ACM's Turing Award prize raised to $1 million". Communications of the ACM. 57 (12): 20. doi:10.1145/2685372.
  2. ^ a b "A. M. Turing Award". Association for Computing Machinery. Archived from the original on December 12, 2009. Retrieved November 5, 2007.
  3. ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms. McGraw-Hill. p. 317. ISBN 978-0-07-352340-8.
  4. ^ "dblp: ACM Turing Award Lectures". www.informatik.uni-trier.de. Archived from the original on January 2, 2015. Retrieved February 11, 2023.
  5. ^ Brown, Bob (June 6, 2011). "Why there's no Nobel Prize in Computing". Network World. Archived from the original on October 22, 2016. Retrieved June 3, 2015.
  6. ^ Homer, Steven and Alan L. (2001). Computability and Complexity Theory. Springer. p. 35. ISBN 978-0-387-95055-6. Archived from the original on April 3, 2023. Retrieved November 5, 2007.
  7. ^ Geringer, Steven (July 27, 2007). "ACM'S Turing Award Prize Raised To $250,000". ACM press release. Archived from the original on December 30, 2008. Retrieved October 16, 2008.
  8. ^ "ACM's Turing Award Prize Raised to $1 Million". Association for Computing Machinery. Archived from the original on November 23, 2015. Retrieved November 13, 2014.
  9. ^ "First Woman to Receive ACM Turing Award" (Press release). The Association for Computing Machinery. February 21, 2007. Archived from the original on July 2, 2007. Retrieved November 5, 2007.
  10. ^ a b Tom van Vleck. "Barbara Liskov - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 9, 2021. Retrieved March 4, 2024.
  11. ^ a b Charles Rackoff. "Shafi Goldwasser - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on February 17, 2024. Retrieved March 4, 2024.
  12. ^ a b "Robert Melancton Metcalfe - A.M. Turing Award Laureate". Association for Computing Machinery. March 22, 2023. Archived from the original on January 13, 2024. Retrieved March 3, 2024.
  13. ^ Perlis, A. J. (1967). "The Synthesis of Algorithmic Systems". Journal of the ACM. 14: 1–9. doi:10.1145/321371.321372. S2CID 12937998.
  14. ^ David Nofre. "Alan J Perlis - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on April 26, 2012. Retrieved March 4, 2024.
  15. ^ Wilkes, M. V. (1968). "Computers then and Now". Journal of the ACM. 15: 1–7. doi:10.1145/321439.321440. S2CID 9846847.
  16. ^ Martin Campbell-Kelly. "Maurice V. Wilkes - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 7, 2024. Retrieved March 4, 2024.
  17. ^ 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.
  18. ^ Edmund F. Robertson. "Richard W. Hamming - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 30, 2020. Retrieved March 4, 2024.
  19. ^ Minsky, M. (1970). "Form and Content in Computer Science (1970 ACM turing lecture)". Journal of the ACM. 17 (2): 197–215. doi:10.1145/321574.321575. S2CID 15661281.
  20. ^ Patrick Henry Winston. "Marvin Minsky - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 28, 2023. Retrieved March 4, 2024.
  21. ^ Wilkinson, J. H. (1971). "Some Comments from a Numerical Analyst". Journal of the ACM. 18 (2): 137–147. doi:10.1145/321637.321638. S2CID 37748083.
  22. ^ Beresford Neill Parlett. "James Hardy ("Jim") Wilkinson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 5, 2024. Retrieved March 4, 2024.
  23. ^ McCarthy, J. (1987). "Generality in artificial intelligence". Communications of the ACM. 30 (12): 1030–1035. doi:10.1145/33447.33448. S2CID 1045033. Archived from the original on September 21, 2017. Retrieved November 1, 2017.
  24. ^ Lester Earnest. "John Mccarthy - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on September 3, 2016. Retrieved March 4, 2024.
  25. ^ Dijkstra, E. W. (1972). "The humble programmer". Communications of the ACM. 15 (10): 859–866. doi:10.1145/355604.361591.
  26. ^ Hamilton Richards. "Edsger Wybe Dijkstra - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on February 26, 2024. Retrieved March 4, 2024.
  27. ^ Bachman, C. W. (1973). "The programmer as navigator". Communications of the ACM. 16 (11): 653–658. doi:10.1145/355611.362534.
  28. ^ Thomas Haigh. "Charles William Bachman - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 2, 2020. Retrieved March 4, 2024.
  29. ^ Knuth, D. E. (1974). "Computer programming as an art". Communications of the ACM. 17 (12): 667–673. doi:10.1145/361604.361612.
  30. ^ David Walden. "Donald ("Don") Ervin Knuth - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 17, 2019. Retrieved March 4, 2024.
  31. ^ Newell, A.; Simon, H. A. (1976). "Computer science as empirical inquiry: Symbols and search". Communications of the ACM. 19 (3): 113. doi:10.1145/360018.360022.
  32. ^ Hunter Heyck. "Allen Newell - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 16, 2020. Retrieved March 4, 2024.
  33. ^ Rabin, M. O.; Scott, D. (1959). "Finite Automata and Their Decision Problems". IBM Journal of Research and Development. 3 (2): 114. doi:10.1147/rd.32.0114. S2CID 3160330.
  34. ^ Rabin, M. O. (1977). "Complexity of computations". Communications of the ACM. 20 (9): 625–633. doi:10.1145/359810.359816.
  35. ^ Scott, D. S. (1977). "Logic and programming languages". Communications of the ACM. 20 (9): 634–641. doi:10.1145/359810.359826.
  36. ^ "Michael O. Rabin - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 28, 2023. Retrieved March 4, 2024.
  37. ^ 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 (8): 613–641. doi:10.1145/359576.359579.
  38. ^ Grady Booch. "John Backus - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 5, 2024. Retrieved March 4, 2024.
  39. ^ Floyd, R. W. (1979). "The paradigms of programming". Communications of the ACM. 22 (8): 455–460. doi:10.1145/359138.359140.
  40. ^ Iverson, K. E. (1980). "Notation as a tool of thought". Communications of the ACM. 23 (8): 444–465. doi:10.1145/358896.358899.
  41. ^ Keith Smillie. "Kenneth E. ("Ken") Iverson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on April 3, 2019. Retrieved March 4, 2024.
  42. ^ Hoare, C. A. R. (1981). "The emperor's old clothes". Communications of the ACM. 24 (2): 75–83. doi:10.1145/358549.358561.
  43. ^ Cliff Jones. "C. Antony ("Tony") R. Hoare - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on July 1, 2012. Retrieved March 4, 2024.
  44. ^ Codd, E. F. (1982). "Relational database: A practical foundation for productivity". Communications of the ACM. 25 (2): 109–117. doi:10.1145/358396.358400.
  45. ^ C. J. Date. "Edgar F. ("Ted") Codd - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on December 23, 2017. Retrieved March 4, 2024.
  46. ^ Cook, S. A. (1983). "An overview of computational complexity". Communications of the ACM. 26 (6): 400–408. doi:10.1145/358141.358144.
  47. ^ Bruce Kapron. "Stephen Arthur Cook - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 21, 2019. Retrieved March 4, 2024.
  48. ^ Tom Van Vleck. "A.M. Turing Award Laureate – Kenneth Lane Thompson". Association for Computing Machinery. Archived from the original on August 9, 2019. Retrieved November 4, 2018.
  49. ^ Tom Van Vleck. "A.M. Turing Award Laureate – Dennis M. Ritchie". Association for Computing Machinery. Archived from the original on October 20, 2021. Retrieved November 4, 2018.
  50. ^ Thomas Haigh. "Niklaus E. Wirth - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on June 29, 2017. Retrieved March 4, 2024.
  51. ^ B. Simons; D. Gusfield. "Richard ("Dick") Manning Karp - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on July 4, 2017. Retrieved March 4, 2024.
  52. ^ "John E. Hopcroft - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 27, 2021. Retrieved March 4, 2024.
  53. ^ Michael G. Burke; Vivek Sarkar. "John Cocke - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved March 4, 2024.
  54. ^ Robert Burton. "Ivan Sutherland - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved March 4, 2024.
  55. ^ Thomas Haigh. "William ("Velvel") Morton Kahan - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved March 4, 2024.
  56. ^ T. Van Vleck. "Fernando J ("Corby") Corbato - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved March 4, 2024.
  57. ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240.
  58. ^ Michael Fourman. "Arthur John Robin Gorell ("Robin") Milner - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 17, 2021. Retrieved March 4, 2024.
  59. ^ Roy Levin. "Butler W Lampson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved March 4, 2024.
  60. ^ Stearns, R. E. (1994). "Turing Award lecture: It's time to reconsider time". Communications of the ACM. 37 (11): 95–99. doi:10.1145/188280.188379.
  61. ^ Allan Borodin. "Juris Hartmanis - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 21, 2024. Retrieved March 4, 2024.
  62. ^ "Richard ("Dick") Edwin Stearns - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 21, 2024. Retrieved March 4, 2024.
  63. ^ Reddy, R. (1996). "To dream the possible dream". Communications of the ACM. 39 (5): 105–112. doi:10.1145/229459.233436.
  64. ^ Nils J. Nilsson. "Edward A ("Ed") Feigenbaum - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 22, 2024. Retrieved March 4, 2024.
  65. ^ Nils J. Nilsson. "Dabbala Rajagopal ("Raj") Reddy - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on December 10, 2023. Retrieved March 4, 2024.
  66. ^ Christos H. Papadimitriou. "A.M. Turing Award Laureate – Manuel Blum". Association for Computing Machinery. Archived from the original on October 23, 2021. Retrieved November 4, 2018.
  67. ^ Lenore Zuck. "A.M. Turing Award Laureate – Amir Pnueli". Association for Computing Machinery. Archived from the original on October 20, 2021. Retrieved November 4, 2018.
  68. ^ Thierry Bardini. "A.M. Turing Award Laureate – Douglas Engelbart". Association for Computing Machinery. Archived from the original on July 4, 2017. Retrieved November 4, 2018.
  69. ^ "The Doug Engelbart Institute". The Doug Engelbart Institute. Archived from the original on July 14, 2012. Retrieved June 17, 2012.
  70. ^ Paul McJones. "James ("Jim") Nicholas Gray - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved March 4, 2024.
  71. ^ Grady Booch. "Frederick ("Fred") Brooks - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved March 4, 2024.
  72. ^ Bruce Kapron. "Andrew Chi-Chih Yao - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on July 3, 2017. Retrieved March 4, 2024.
  73. ^ Andrew P. Black. "Ole-Johan Dahl - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 12, 2021. Retrieved March 4, 2024.
  74. ^ Joseph Bebel; Shang-Hua Teng. "Leonard (Len) Max Adleman - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 3, 2023. Retrieved March 4, 2024.
  75. ^ Susan B. Barnes. "Alan Kay - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 11, 2021. Retrieved March 4, 2024.
  76. ^ Janet Abbate. "Vinton ("Vint") Gray Cerf - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 11, 2021. Retrieved March 4, 2024.
  77. ^ Edgar G. Daylight. "Peter Naur - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on June 12, 2018. Retrieved March 4, 2024.
  78. ^ Guy Steele. "Frances ("Fran") Elizabeth Allen - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on April 7, 2022. Retrieved March 4, 2024.
  79. ^ "2007 Turing Award Winners Announced". Archived from the original on November 2, 2009. Retrieved December 9, 2008.
  80. ^ Ted Kirkpatrick. "Edmund Melson Clarke - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 4, 2024. Retrieved March 4, 2024.
  81. ^ "Charles P. (Chuck) Thacker - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 10, 2021. Retrieved March 4, 2024.
  82. ^ "Leslie Gabriel Valiant - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 17, 2021. Retrieved March 4, 2024.
  83. ^ Pearl, Judea (2007). ACM Turing Award Lectures (mp4). doi:10.1145/1283920. ISBN 978-1-4503-1049-9. Archived from the original on October 21, 2020. Retrieved November 16, 2020.
  84. ^ Stuart J. Russell. "Judea Pearl - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on August 26, 2017. Retrieved March 15, 2012.
  85. ^ "Turing award 2012". Association for Computing Machinery. Archived from the original on March 18, 2013.
  86. ^ "Turing award 2013". Association for Computing Machinery. Archived from the original on January 16, 2016. Retrieved March 18, 2014.
  87. ^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. 21 (7): 558–565. CiteSeerX 10.1.1.155.4742. doi:10.1145/359545.359563. S2CID 215822405. Archived (PDF) from the original on October 31, 2008. Retrieved August 28, 2015.
  88. ^ Dahlia Malkhi; Martin Abadi; Hagit Attiya; Idit Keidar; Nancy Lynch; Nir Shavit; George Varghese; Len Shustek. "Leslie Lamport - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on June 1, 2023. Retrieved March 4, 2024.
  89. ^ "Turing award 2014". Association for Computing Machinery. Archived from the original on July 3, 2017. Retrieved March 25, 2015.
  90. ^ Thomas Haigh. "Michael Stonebreaker - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 25, 2024. Retrieved March 4, 2024.
  91. ^ Diffie, W.; Hellman, M. (1976). "New directions in cryptography" (PDF). IEEE Transactions on Information Theory. 22 (6): 644–654. CiteSeerX 10.1.1.37.9720. doi:10.1109/TIT.1976.1055638. Archived (PDF) from the original on December 3, 2017. Retrieved March 4, 2016.
  92. ^ "Cryptography Pioneers Receive 2015 ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on July 4, 2017. Retrieved March 1, 2016.
  93. ^ Jeffrey R. Yost. "Whitfield Diffie - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on March 27, 2019. Retrieved March 4, 2024.
  94. ^ "Turing award 2016". Association for Computing Machinery. Archived from the original on April 6, 2017. Retrieved April 4, 2017.
  95. ^ "Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on March 25, 2018. Retrieved March 21, 2018.
  96. ^ Charles H. House. "John L Hennessy - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on March 22, 2018. Retrieved March 4, 2024.
  97. ^ "Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on August 23, 2021. Retrieved March 27, 2019.
  98. ^ Thomas Haigh. "Yoshua Bengio - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 27, 2020. Retrieved March 4, 2024.
  99. ^ "2019 ACM A.M. Turing Award Laureates". Association for Computing Machinery. Archived from the original on March 18, 2020. Retrieved February 11, 2023.
  100. ^ "Edwin E. Catmull - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 23, 2023. Retrieved March 4, 2024.
  101. ^ "Patrick M. Hanrahan - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 4, 2024. Retrieved March 4, 2024.
  102. ^ "Columbia's Alfred Aho and Stanford's Jeffrey Ullman receive 2020 ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on March 31, 2021. Retrieved February 11, 2023.
  103. ^ Thomas Haigh. "Alfred Vaino Aho - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 13, 2024. Retrieved March 4, 2024.
  104. ^ "Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on May 5, 2022. Retrieved March 30, 2022.
  105. ^ Thomas Haigh. "Dr. Jack Dongarra - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 22, 2024. Retrieved March 4, 2024.
  106. ^ "Robert Melancton Metcalfe - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 13, 2024. Retrieved March 4, 2024.

외부 링크

위키미디어 커먼즈는 튜링상과 관련된 미디어를 보유하고 있습니다.