전체

1985년 튜링상 수상자인 리처드 카프는 미국의 컴퓨터 과학자이다. 그는 외판원 문제와 같은 조합 최적화 문제 알고리듬을 연구했고 NP-완전 이론을 정립했다.

1984년 튜링상 수상자인 니클라우스 비르트는 스위스 출신의 컴퓨터 과학자이다. 그는 파스칼 언어를 포함하여 알골-W, 모듈라 등의 프로그래밍 언어를 개발했다.

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

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

에드거 커드는 미국의 컴퓨터 과학자로 1981년에 튜링상을 수상했다. 관계형 데이터베이스를 제안했으며 관계 대수, 관계 논리, 관계 정규화 등에 큰 기여를 했다.

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

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

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

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

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

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