[[컴퓨터공학|컴퓨터 과학 & 공학
Computer Science & Engineering
]]- [ 펼치기 · 접기 ]
- ||<tablebgcolor=#fff,#1c1d1f><tablecolor=#373a3c,#ddd><colbgcolor=#0066DC><colcolor=white> 기반 학문 || 수학( 해석학 · 이산수학 · 수리논리학 · 선형대수학 · 미적분학 · 미분방정식 · 대수학( 환론 · 범주론) · 정수론) · 이론 컴퓨터 과학 · 암호학 · 전자공학 · 언어학( 형태론 · 통사론 · 의미론 · 화용론 · 음운론) · 인지과학 ||
하드웨어 구성 SoC · CPU · GPU( 그래픽 카드 · GPGPU) · ROM · RAM · SSD · HDD · 참조: 틀:컴퓨터 부품 기술 기계어 · 어셈블리어 · C/ C++ · C# · Java · Python · BIOS · 절차적 프로그래밍 · 객체 지향 프로그래밍 · 해킹 · ROT13 · 일회용 비밀번호 · 사물인터넷 · 와이파이 · GPS · 임베디드 · 인공신경망 · OpenGL · EXIF · 마이크로아키텍처 · ACPI · UEFI · NERF · gRPC · 리버스 엔지니어링 · HCI · UI · UX · 대역폭 · DBMS · NoSQL · 해시( SHA · 브루트 포스 · 레인보우 테이블 · salt · 암호화폐) · RSA 암호화 · 하드웨어 가속 연구
및
기타논리 회로( 보수기 · 가산기 · 논리 연산 · 불 대수 · 플립플롭) · 정보이론 · 임베디드 시스템 · 운영 체제 · 데이터베이스 · 프로그래밍 언어{ 컴파일러( 어셈블러 · JIT) · 인터프리터 · 유형 이론 · 파싱 · 링커 · 난해한 프로그래밍 언어} · 메타데이터 · 기계학습 · 빅데이터 · 폰노이만 구조 · 양자컴퓨터 · 행위자 모델 · 인코딩( 유니코드 · MBCS) · 네트워크 · 컴퓨터 보안 · OCR · 슈퍼컴퓨터 · 튜링 머신 · FPGA · 딥러닝 · 컴퓨터 구조론 · 컴퓨터 비전 · 컴퓨터 그래픽스 · 인공지능 · 시간 복잡도( 최적화) · 소프트웨어 개발 방법론 · 디자인 패턴 · 정보처리이론 · 재귀 이론 · 자연어 처리( 기계 번역 · 음성인식) · 버전 ( 버전 관리 시스템 · Git · GitHub)
|
'''
이론 컴퓨터 과학 {{{#!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=#a36> 이론 | ||||
| 기본 대상 | 수학기초론{ 수리논리학( 논리 연산) · 계산 가능성 이론 · 범주론 · 집합론} · 이산수학( 그래프 이론) · 수치해석학 · 확률론 및 통계학 · 선형대수학 | ||||
| 다루는 대상과 주요 토픽 | |||||
| 계산 가능성 이론 | 재귀함수 · 튜링 머신 · 람다대수 · 처치-튜링 명제 · 바쁜 비버 | ||||
| 오토마타 이론 | 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: 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. 개요
ACM A.M. Turing Award(Turing Award, Turing 賞, 튜링상, 튜링 어워드)
ACM(Association for Computing Machinery, 계산기협회)에서 컴퓨터과학 분야에 업적을 남긴 사람에게 매년 시상하는 상. ACM 연례 회의에서 시상식을 하는데 여기서 수상자가 기념 강연을 하는 것이 관례이다. 컴퓨터과학의 아버지라 불리는 앨런 튜링의 이름을 따서, 1966년 제정되었다.
컴퓨터과학의 노벨상으로 불리며 컴퓨터과학 분야 인사에게 최대의 영광이자 최고의 업적이다. 컴퓨터과학 및 연관분야를 공부한다면 교과서에서 들어본 이름이 많을 것이다. 학부때 듣지 못했다면 대학원에서 듣게 된다.
수상자 명단에서 보면 알겠지만, 미국, 영국, 캐나다 등의 영미권 수상자들이 대부분이며, 비영미권, 비유럽권 수상자의 비중이 노벨 과학상들과 필즈상, 프리츠커상 등의 여타 이공계열 국제상들에 비해 상당히 적다.
2018년에 튜링상을 수상한 제프리 힌튼 교수는 2024년 노벨물리학상을 수상했으며, 튜링상 수상자가 노벨상을 수상한 첫번째 사례가 되었다.
2. 수상자 목록
|
역대
튜링상 수상자 목록
|
||||
|
{{{#!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년 | 앤드루 야오[1] | 계산이론, 유사 난수 생성기, 암호학 등 |
| 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년 | 에이비 위그더슨 | 계산 복잡도 이론, 무작위 알고리즘 |
[1]
최초이자 유일한 아시아계 수상자이다.