Skip to content
AdaLogic BASIC
·
IDE
·
Learn
·
Math
·
Research
·
Handbook
·
Examples
·
Forum
·
Workshops
·
Toolkit
·
Users
·
Profile
·
News
·
Scan
·
Help
·
Recipes
·
Library
·
About
·
Contact
·
Giants
·
Wiki
·
Atlas
·
Guidelines
◈
ALB Atlas
Search
Hall
Languages
Systems
People
Machines
Papers
Companies
Tree
Timeline
Atlas
›
People
›
Theory — people field
Theory — people field
26 persons in the theory field.
Decade
1930s
1940s
1950s
1960s
1970s
1980s
1990s
2000s
2010s
2020s
Family
programming languages
140
operating systems
29
theory
26
computing
17
networking
10
databases
7
Hardware
6
Artificial intelligence
2
Business
2
Search
2
ai
2
web
2
Computer graphics
1
Cryptography
1
Status
Alive
Maintenance
Dormant
Dead
Lost
Superseded
Name
Life
Status
Field
Known for
George Boole
1815–1864
Dead
theory
—
Norbert Wiener
1894–1964
Dead
theory
—
Emil Post
1897–1954
Dead
theory
—
Haskell Curry
1900–1982
Dead
theory
—
Alonzo Church
1903–1995
Dead
theory
An Unsolvable Problem of Elementary Number Theory
John von Neumann
Neumann János
1903–1957
Dead
theory
IAS Machine
Kurt Gödel
1906–1978
Dead
theory
—
Stephen Cole Kleene
1909–1994
Dead
theory
—
Alan Turing
1912–1954
Dead
theory
On Computable Numbers
Pilot ACE
Claude Shannon
1916–2001
Dead
theory
A Mathematical Theory of Communication
Winston W. Royce
1929–1995
Dead
theory
—
Edsger W. Dijkstra
1930–2002
Dead
theory
Go To Statement Considered Harmful
Jack Dennis
1931–
Alive
theory
—
Tony Hoare
C. A. R. Hoare
1934–
Alive
theory
ALGOL W
An Axiomatic Basis for Computer Programming
Communicating Sequential Processes
The Emperor's Old Clothes
Rust
Richard Karp
1935–
Alive
theory
—
Robert W. Floyd
1936–2001
Dead
theory
—
Donald Knuth
1938–
Alive
theory
The Art of Computer Programming, Vol. 1
Literate Programming
John Hopcroft
1939–
Alive
theory
—
Stephen Cook
1939–
Alive
theory
—
David Parnas
1941–
Alive
theory
On the Criteria To Be Used in Decomposing Systems into Modules
Leslie Lamport
1941–
Alive
theory
Time, Clocks, and the Ordering of Events in a Distributed System
Jeffrey Ullman
1942–
Alive
theory
—
Peter J. Denning
1942–
Alive
theory
—
Gilles Kahn
1946–2006
Dead
theory
—
Arvind
Arvind Mithal
1947–2024
Dead
theory
—
Robert Tarjan
1948–
Alive
theory
—