Mathematical Foundations of Computer Science

George Boole

1815 - 1864 


Boolean Algebra


Kurt Gödel

1906 - 1978


Gödel's completeness theorem

Alonzo Church

1903 - 1995


Lambda Calculus

Alan Turing

1912 - 1954


Turing Machine

Stephen Kleene

1909 - 1994


Kleene's recursion theorem

John von Neumann

1903 - 1957


von Neumann Architecture

Claude Elwood Shannon

1916 - 2001


Logic circuits

Turing Award Recipients

Richard Hamming

1915 - 1988


Hamming code


1968 Turing Award


Edsger Dijkstra

1930 - 2002


ALGOL language


1972 Turing Award

Donald Ervin Knuth

1938 -


The Art of Programming


1974 Turing Award

John Warner Backus

1924 - 2007


FORTRAN Language


1977 Turing Award

Edgar Codd

1923 - 2003


Relational Databases


1981 Turing Award

Ken Thompson

1943 -


B Language, C Language

UNIX Operating System


1983 Turing Award

Dennis Ritchie

1941 - 2011


C language

UNIX operating system


1983 Turing Award

Niklaus Emil Wirth

1934 -


Pascal, Modula, Oberon


1984 Turing Award

John E Hopcroft 

1939- 


Design and analysis of algorithms and data structures 


1986  Turing Award

Robin Milner 

1934-2010 


Logic for Computable Functions Calculus of communicating systems

Meta Language 


1991 Turing Award 

Fred Brooks

1931 - 2022


IBM System/360

OS/360


1999 Turing Award

Peter Naur

1928 -


ALGOL

Backus-Naur form


2005 Turing Award

Frances Elizabeth Allen

1932 - 2020


Compiler optimizations


2006 Turing Award

Barbara Liskov

1939 -


Data abstraction


2008 Turing Award

Judea Pearl

1936 -


Artificial Intelligence


2011 Turing Award

Michael Ralph Stonebraker

1943 -


Databases, Postgres


2014 Turing Award

Sir Timothy John Berners-Lee

1955 -


World Wide Web


2016 Turing Award

John L. Hennessy

1952 -


MIPS Architecture


2017 Turing Award

David Andrew Patterson

1947 -


RISC Architecture


2017 Turing Award

Jeffrey David Ullman

1942 -


Databases and Data Structures


2020 Turing Award

Computer Science Pioneers

Admiral Grace Hopper

1906 - 1992


Compilers

COBOL Language

Richard Matthew Stallman

1953 -


GNU Operating System GCC

Free Software

Avadis "Avie" Tevanian

1961 -


MacOS, iOS

Gordon Moore

1929 -


Moore's law

Boris Babayan

1933 -


Elbrus Supercomputers

Robert P. "Bob" Colwell

1954 -


Intel Pentium Microprocessors