Skip to content
◈ALB Atlas

Theory — people field

26 persons in the theory field.

NameLifeStatusFieldKnown for
George Boole1815–1864Deadtheory—
Norbert Wiener1894–1964Deadtheory—
Emil Post1897–1954Deadtheory—
Haskell Curry1900–1982Deadtheory—
Alonzo Church1903–1995DeadtheoryAn Unsolvable Problem of Elementary Number Theory
John von NeumannNeumann János1903–1957DeadtheoryIAS Machine
Kurt Gödel1906–1978Deadtheory—
Stephen Cole Kleene1909–1994Deadtheory—
Alan Turing1912–1954DeadtheoryOn Computable Numbers Pilot ACE
Claude Shannon1916–2001DeadtheoryA Mathematical Theory of Communication
Winston W. Royce1929–1995Deadtheory—
Edsger W. Dijkstra1930–2002DeadtheoryGo To Statement Considered Harmful
Jack Dennis1931–Alivetheory—
Tony HoareC. A. R. Hoare1934–AlivetheoryALGOL W An Axiomatic Basis for Computer Programming Communicating Sequential Processes The Emperor's Old Clothes Rust
Richard Karp1935–Alivetheory—
Robert W. Floyd1936–2001Deadtheory—
Donald Knuth1938–AlivetheoryThe Art of Computer Programming, Vol. 1 Literate Programming
John Hopcroft1939–Alivetheory—
Stephen Cook1939–Alivetheory—
David Parnas1941–AlivetheoryOn the Criteria To Be Used in Decomposing Systems into Modules
Leslie Lamport1941–AlivetheoryTime, Clocks, and the Ordering of Events in a Distributed System
Jeffrey Ullman1942–Alivetheory—
Peter J. Denning1942–Alivetheory—
Gilles Kahn1946–2006Deadtheory—
ArvindArvind Mithal1947–2024Deadtheory—
Robert Tarjan1948–Alivetheory—