튜링상 수상자 모음

에드워드 파이겐바움과 라지 레디는 인공지능에 대한 기여를 인정받아 1994년에 튜링상을 수상했다. 파이겐바움은 전문가 시스템을 개척했고 라지 데디는 음성 인식 분야를 개척했다.

유리스 하트마니스와 리처드 스턴즈는 1993년에 계산복잡도 이론에 대한 공적으로 튜링상을 수상했다. 유리스 하트마니스는 라트비아 태생의 미국 컴퓨터 과학자이며 리처드 스턴즈는 미국의 수학자이자 컴퓨터 과학자이다.

버틀러 램슨은 1992년에 튜링상을 수상한 미국의 컴퓨터 과학자이다. 그는 시분할 운영체제, 시스템 보안, 개인용 컴퓨터, 네트워크, 프로그래밍 언어, 문서 편집 프로그램 등에 큰 기여를 했다.

로빈 밀너는 영국의 수학자이자 컴퓨터 과학자이다. 그는 LCF, ML, CCS 등의 연구로 1991년에 튜링상을 수상했다.

코르난도 코바토는 1990년대 튜링상을 받은 미국의 컴퓨터 과학자이다. 그는 CTSS라는 시스템을 개발하여 최초의 시분할 시스템을 구현했다. 후에 멀틱스 프로젝트에도 관여했다.

윌리엄 카한은 1989년에 튜링상을 수상한 미국의 수학자이다. 그는 부동소수점 연산과 관련되어 많은 업적을 남겼으며 IEEE 754 표준을 주도했다.

미국의 컴퓨터 과학자로 1988년에 튜링상을 수상했다. 그가 개발한 스케치패드는 컴퓨터 그래픽스의 시작으로 평가받고 있다. 컴퓨터 그래픽스 외에도 로봇, 헤드 마운트 디스플레이, 비동기식 회로 등에서 주목할 만한 연구를 진행했다.

존 코크는 1987년에 튜링상을 수상한 미국의 컴퓨터 과학자이다. 그는 RISC 구조를 제안했으며 컴파일러 기술을 발전시켰다.

존 호프크로프트와 로버트 타잔은 미국의 컴퓨터 과학자이다. 두 사람은 알고리듬과 자료구조에 관한 연구로 1986년에 튜링상을 수상했다.

1985년 튜링상 수상자인 리처드 카프는 미국의 컴퓨터 과학자이다. 그는 조합 최적화 이론을 연구했으며 NP-완전 이론에 큰 기여를 했다.

1984년에 튜링상을 수상한 니클라우스 비르트는 스위스 출신의 컴퓨터 과학자이다. 그는 파스칼 언어를 포함하여 알골-W, 모듈라 등의 언어를 개발했다. 또한 개인용 컴퓨터를 직접 개발했으며 가상기계용 컴파일러 방식을 고안하기도 했다.

데니스 리치와 켄 톰슨은 1983년에 튜링상을 수상한 미국의 컴퓨터 과학자들이다. 유닉스 운영체제를 함께 개발했다. 데니스 리치는 이 과정에서 C언어를 만들기도 했다. 켄 톰슨은 체스 프로그램으로도 유명하며 UTF-8을 제안했다.

스티븐 쿡은 1982년에 튜링상을 수상한 미국의 컴퓨터과학자이다. 그는 NP완전 이론을 처음 제시했고 계산 복잡도 연구에 기여했다.

에드거 커드는 1981년에 튜링상을 수상한, 영국 출신의 컴퓨터 과학자이다. 그는 관계형 데이터베이스를 처음 제안하였고 관계 대수와 관계 논리 등을 개발했다.

토니 호어는 영국의 컴퓨터 과학자로 1980년에 튜링상을 수상했다. 퀵 정렬(Quicksort)을 발명했으며 프로그래밍 언어의 공리적 의미론, CSP 등 많은 업적을 남겼다.

케네스 아이버슨은 1979년에 튜링상을 수상한, 미국의 컴퓨터 과학자이다. 그는 APL 언어를 개발했다.

로버트 플로이드는 1978년에 튜링상을 수상한, 미국의 컴퓨터 과학자이다. 컴파일러를 위한 파싱 이론을 개척했으며 프로그래밍 언어를 위한 의미론 연구에 큰 공헌을 했다. 흑백 이미지 인쇄를 위한 디더링 알고리듬 개발로도 유명하다.

존 배커스는 미국의 컴퓨터 과학자이다. 1977년에 튜링상을 수상했다. 포트란 언어를 개발했으며 BNF 형식을 제안했다. 함수형 프로그래밍 언어 개발에도 힘썼다.

마이클 래빈은 이스라엘의 수학자이자 컴퓨터 과학자이고 데이나 스콧은 미국의 수학자이자 컴퓨터 과학자이다. 1976년에 튜링상을 공동 수상했다. 두 사람은 비결정적 유한 상태 기계를 제안해서 오토마타 이론에 큰 계기를 마련했다. 마이클 래빈은 새로운 오토마타 이론을 추가로 발표했으며 계산복잡도 이론을 처음 시작했다. 데이나 스콧은 표시적 의미론을 개척했다.

앨런 뉴얼은 미국의 컴퓨터 과학자이고 허버트 사이먼은 미국의 정치 과학자이다. 1975년에 튜링상을 공동 수상했다. 두 사람은 최초의 인공지능 프로그램인 로직 시어리스트를 만들었고 휴리스틱 방법론을 도입했다.

도널드 커누스는 미국의 컴퓨터 과학자로서 1974년에 튜링상을 수상했다. 그는 파서를 포함하여 여러 알고리듬을 개발했으며 라는 유명한 책을 집필했다.

찰스 바크먼은 미국의 컴퓨터 과학자이자 엔지니어로서 1973년에 튜링상을 수상했다. 최초의 데이터베이스를 만들었고, 데이터 구조도를 제안했다. 데이터베이스 표준화 활동에 적극 참여했으며 OSI 7계층 표준화를 이끌기도 했다.

에드스거 다익스트라는 네덜란드의 컴퓨터 과학자로서 1972년에 튜링상을 수상했다. 알골 언어 개발에 참여했고 스택과 재귀적 호출 등의 방법을 정립했다. 최단거리 알고리듬을 만든 사람으로 유명하며 세마포어와 같은 동기화 기법과 구조적 프로그래밍을 비롯하여 많은 업적을 남겼다.

존 매카시는 미국의 컴퓨터 과학자로서 1971년에 튜링상을 수상했다. 그는 인공지능 분야의 개척자이며 리스프 언어를 만들었다. 또한 시분할 시스템 개발에도 큰 영향을 미쳤다.

제임스 윌킨슨은 영국의 수학자이자 컴퓨터 과학자로서 1970년에 튜링상을 수상했다. 그는 컴퓨터를 이용한 수치연산에서 발생하는 오차에 관하여 연구했고 Pilot ACE 개발과 수치계산용 라이브러리 개발 등에 기여했다.

마빈 민스키는 1969년에 튜링상을 수상한 미국의 컴퓨터 과학자이다. 그는 인공지능이라는 분야를 처음 개척하고 발전시켰다. 그외에도 계산이론, 컴퓨터 교육 등에도 기여했다.

리처드 해밍은 1968년에 튜링상을 수상한 미국의 수학자이자 컴퓨터 과학자이다. 그는 데이터 코드에서 발생하는 오류를 검출하고 정정할 수 있는 해밍 코드를 개발했다. 그외에도 수치해석, 인터프리터, 디지털 필터 등에서도 뚜렷한 성과를 남겼다.

모리스 윌크스는 영국의 컴퓨터 과학자로서 1967년에 튜링상을 수상했다. 그는 저장형 프로그램 방식의 전자식 컴퓨터인 EDSAC을 개발했고 프로그래밍 라이브러리, 마이크로프로그래밍 등을 제안했다.

앨런 펄리스는 미국의 컴퓨터 과학자로서 1966년에 튜링상을 최초로 수상했다. 그는 알골 컴파일러 설계의 핵심 인물이었으며 컴퓨터 과학이라는 분야를 독립된 학문으로 자리잡게 하는데 공헌했다.