최근 수정 시각 : 2024-04-16 15:30:39

튜링상


{{{#!wiki style="margin: -5px -10px; padding: 10px 0px; color:#fff; background-image: linear-gradient(to right, #33CCCC , #0066DC); word-break:keep-all"
컴퓨터 과학 & 공학
Computer Science & Engineering

{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-8px -1px -11px"
<colbgcolor=#3CC>기반 학문수학 (해석학 · 이산수학 · 수리논리학 · 선형대수학 · 미적분학 · 미분방정식 · 대수학 (환론 · 범주론) · 정수론) · 이론 컴퓨터 과학 · 암호학 · 전자공학 · 언어학 (형태론 · 통사론 · 의미론 · 화용론 · 음운론) · 인지과학
SoC · CPU · GPU(그래픽 카드 · GPGPU) · ROM · RAM · SSD · HDD · 참조: 틀:컴퓨터 부품
기술기계어 · 어셈블리어 · C(C++) · C# · Java · Python · BIOS · 절차적 프로그래밍 · 객체 지향 프로그래밍(디자인 패턴) · 해킹 · ROT13 · OTP · IoT · 와이파이 · GPS · 임베디드 · 인공신경망 · OpenGL · EXIF · 마이크로아키텍처 · ACPI · UEFI · NERF · gRPC · 리버스 엔지니어링 · HCI · UI · UX · 대역폭 · DBMS · NoSQL · 해시(SHA · 브루트 포스 · 레인보우 테이블 · salt · 암호화폐) · RSA 암호화
연구 · 기타논리 회로(보수기 · 가산기 · 논리 연산 · 불 대수 · 플립플롭) · 정보이론 · 임베디드 시스템 · 디자인 패턴 · 데이터베이스 · 프로그래밍 언어{컴파일러(어셈블러 · JIT) · 인터프리터 · 유형 이론 · 파싱} · 메타데이터 · 기계학습 · 빅데이터 · 폰노이만 구조 · 양자컴퓨터 · 행위자 모델 · 인코딩(유니코드 · MBCS) · 네트워크 · 컴퓨터 보안 · OCR · 슈퍼컴퓨터 · 튜링 머신 · FPGA · 딥러닝 · 컴퓨터 구조론 · 컴퓨터 비전 · 컴퓨터 그래픽스 · 인공지능 · 시간 복잡도(최적화) · 소프트웨어 개발 방법론 · 정보처리이론 · 재귀 이론 · 자연어 처리(기계 번역 · 음성인식)}}}}}}}}}

'''이론 컴퓨터 과학
{{{#!wiki style="display: inline-block; font-family:Times New Roman, serif;font-style:italic"'''
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#aa3366> 이론
기본 대상 수학기초론{수리논리학(논리 연산) · 계산 가능성 이론 · 범주론 · 집합론} · 이산수학(그래프 이론) · 수치해석학 · 확률론통계학 · 선형대수학
다루는 대상과 주요 토픽
계산 가능성 이론 재귀함수 · 튜링 기계 · 람다 대수 · 처치-튜링 명제 · 바쁜 비버
오토마타 이론 FSM · 푸시다운 · 튜링 머신(폰노이만 구조) · 정규 표현식 · 콘웨이의 생명 게임
계산 복잡도 이론 점근 표기법 · 튜링 기계^고전, 양자, 비결정론적, 병렬 임의접근 기계^ · 알고리즘 · 자료구조 · 알고리즘 패러다임(그리디 알고리즘, 동적 계획법)
정보이론 데이터 압축(무손실 압축 포맷 · 손실 압축 포맷) · 채널 코딩(채널 용량) · 알고리즘 정보 이론(AIT) · 양자정보과학
프로그래밍 언어이론 프로그래밍 언어(함수형 언어 · 객체 지향 프로그래밍) · 메타 프로그래밍 · 형식언어 · 유형 이론 · 프로그래밍 언어 의미론 · 파싱 · 컴파일러 이론
주요 알고리즘 및 자료구조
기초 정렬 알고리즘 · 순서도 · 탐색 알고리즘
추상적 자료형 및 구현 배열^벡터^ · 리스트^연결 리스트^ · 셋(set)^레드-블랙 트리, B-트리^ · 우선순위 큐^, 피보나치 힙^
수학적 최적화 조합 최적화 외판원 순회 문제 · 담금질 기법 · 유전 알고리즘 · 기계학습
볼록 최적화 내부점 방법 · 경사하강법
선형계획법 심플렉스법
계산 수론 및 암호학 밀러-라빈 소수판별법 · Pollard-rho 알고리즘 · 쇼어 알고리즘 · LLL 알고리즘 · 해시(MD5 · 암호화폐 · 사전 공격(레인보우 테이블) · SHA) · 양자 암호
대칭키 암호화 방식 블록 암호 알고리즘(AES · ARIA · LEA · Camellia) · 스트림 암호 알고리즘(RC4)
공개키 암호화 방식 공개키 암호 알고리즘(타원 곡선 암호 · RSA) · 신원 기반 암호 알고리즘(SM9)
계산기하학 볼록 껍질 · 들로네 삼각분할 및 보로노이 도형^Fortune의 line-sweeping 알고리즘^ · 범위 탐색^vp-tree, R-tree^ · k-NN
그래프 이론 탐색^BFS, DFS, 다익스트라 알고리즘, A* 알고리즘^ · 에드몬드-카프 · 크루스칼 알고리즘 · 위상 정렬 · 네트워크 이론
정리
정지 문제대각선 논법 · 암달의 법칙 · P-NP 문제미해결 · 콜라츠 추측미해결
틀:이산수학 · 틀:수학기초론 · 틀:컴퓨터공학 }}}}}}}}}


{{{#!wiki style="margin:-12px"<tablealign=center><tablebordercolor=#ececec><tablebgcolor=#ececec> 파일:앨런 튜링 투명.svg앨런 튜링
관련 문서
}}}
{{{#!wiki style="margin: 0 -10px -5px; min-height: 28px;"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -6px -1px -11px; word-break: keep-all;"
<colbgcolor=#000><colcolor=#fff> 연구 업적 <colcolor=#000,#fff>튜링 머신 · 튜링 테스트 · 에니그마
행적 및 활동 생애
소속 케임브리지 대학교(킹스 컬리지) · GC&CS · 프린스턴 대학교 · 맨체스터 대학교
관련 학자 클로드 섀넌 · 존 폰 노이만 · 알론조 처치
기타 튜링상 · 인공지능 · 유전학 · 이미테이션 게임(영화)
}}}}}}}}} ||


1. 개요2. 수상자 목록
2.1. 상세

1. 개요


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

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

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

2. 수상자 목록

파일:acm-turing-award.png
역대 튜링상 수상자 목록
{{{#!wiki style="margin:0 -10px -5px; min-height:calc(1.5em + 5px); word-break:keep-all"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -6px -1px -11px"
1966년1967년1968년1969년
앨런 펄리스모리스 윌크스리처드 해밍마빈 민스키
1970년1971년1972년1973년
제임스 H. 윌킨슨존 매카시에츠허르 다익스트라찰스 바크만
1974년1975년1976년
도널드 커누스앨런 뉴웰허버트 사이먼미하엘 라빈
1976년1977년1978년1979년
데이나 스콧존 배커스로버트 W. 플로이드케네스 아이버슨
1980년1981년1982년1983년
토니 호어에드거 F. 커드스티븐 쿡켄 톰프슨
1983년1984년1985년1986년
데니스 리치니클라우스 비르트리처드 카프존 홉크로프트
1986년1987년1988년1989년
로버트 타잔존 코크이반 서덜랜드윌리엄 카한
1990년1991년1992년1993년
페르난도 J. 코바토로빈 밀너버틀러 램슨유리스 하르트마니스
1993년1994년1995년
리처드 스턴스에드워드 파이겐바움라즈 래디매뉴얼 블럼
1996년1997년1998년1999년
아미르 프누엘리더글러스 엥겔바트짐 그레이프레드 브룩스
2000년2001년2002년
앤드루 야오올렌-요한 달크리스텐 니가드로널드 라이베스트
2002년2003년2004년
아디 샤미르레오나르드 아델만앨런 케이빈트 서프
2004년2005년2006년2007년
로버트 칸페테르 나우르프란시스 E. 앨런에드먼드 M. 클라크
2007년2008년2009년
앨런 에머슨조세프 시파키스바바라 리스코프찰스 P. 태커
2010년2011년2012년
레슬리 밸리언트유디 펄샤피 골드바서실비오 미칼리
2013년2014년2015년
레슬리 램포트마이클 스톤브레이커휫필드 디피마틴 헬만
2016년2017년2018년
팀 버너스리존 헤네시데이비드 패터슨제프리 힌튼
2018년2019년
요슈아 벤지오얀 르쿤에드윈 캐트멀팻 한라한
2020년2021년2022년
앨프리드 에이호제프리 울먼잭 동가라로버트 메칼프}}}}}}}}}

2.1. 상세

연도 수상자 업적
1966년 앨런 펄리스 고급 프로그래밍 기법, 컴파일러 설계
1967년 모리스 윌크스 라이브러리
1968년 리처드 해밍 자동 코딩 시스템, 오류 검출 부호 및 오류 정정 부호
1969년 마빈 민스키 인공지능
1970년 제임스 H. 윌킨슨 수치 해석, 선형 대수, "후방" 오류 분석
1971년 존 매카시 LISP
1972년 에츠허르 다익스트라 프로그래밍 언어 연구, 다익스트라 알고리즘
1973년 찰스 바크만 데이터베이스
1974년 도널드 커누스 알고리즘 분석 및 프로그래밍 언어 개발, TeX
1975년 앨런 뉴웰 / 허버트 사이먼 인공지능, 인지과학, 리스트 처리
1976년 미하엘 라빈 / 데이나 스콧 비결정 기계
1977년 존 배커스 고급 프로그래밍 시스템, 프로그래밍 언어 명세의 형식적 절차
1978년 로버트 W. 플로이드 효율적이고 신뢰할 수 있는 소프트웨어 개발을 위한 방법론
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년 페테르 나우르 프로그래밍언어와 알골 60 정의, 컴파일러 설계
2006년 프란시스 E. 앨런 고성능 컴퓨팅
2007년 에드먼드 M. 클라크 / 앨런 에머슨 / 조세프 시파키스 모델 체킹
2008년 바바라 리스코프 데이터 추상화, 분산 컴퓨팅. 고장허용범위
2009년 찰스 P. 태커 퍼스널 컴퓨터, 컴퓨터 네트워크
2010년 레슬리 밸리언트 기계 학습
2011년 주데아 펄 인공지능, 확률적 알고리즘과 원인 추론
2012년 샤피 골드바서 / 실비오 미칼리 영지식 증명, 골드바서-미칼리 암호체계
2013년 레슬리 램포트 블록체인
2014년 마이클 스톤브레이커 데이터베이스
2015년 휫필드 디피 / 마틴 헬만 디피-헬만 키 교환
2016년 팀 버너스리 www 의 창안
2017년 존 헤네시 / 데이비드 패터슨 RISC
2018년 제프리 힌튼 / 요슈아 벤지오 / 얀 르쿤 딥러닝
2019년 에드윈 캐트멀 / 팻 한라한 컴퓨터 그래픽스
2020년 앨프리드 에이호 / 제프리 울먼 컴파일러
2021년 잭 동가라 High-Performance Computing(HPC)
2022년 로버트 메칼프 이더넷
2023년 에이비 위그더슨 계산 복잡도 이론, 무작위 알고리즘