무료

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

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

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

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

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

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

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

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

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

모리스 윌크스는 1967년에 튜링상을 수상한, 영국의 컴퓨터 과학자이다. 그는 저장형 프로그램 방식의 전자식 컴퓨터인 EDSAC 개발을 추진해서 성공시켰으며 라이브러리 방식의 프로그래밍 개발을 제안했다. 또한 마이크로프로그래밍 방식의 컴퓨터 설계를 고안해냈다.

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