전체

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

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

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

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

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

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

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

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

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

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

존 매카시는 미국의 컴퓨터 과학자로서 1971년에 튜링상을 수상했다. 그는 인공지능의 개척자 중 한 명이며 리스프 언어를 발명했다. 아울러 시분할시스템 개발에도 관여했다.