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

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

Admiral Grace Hopper

1906 - 1992

Compilers

COBOL Language

Richard Matthew Stallman

1953 -

GNU Operating System GCC

Free Software

Linus Benedict Torvalds

1969 -

Linux OS

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