Computer Heros


Some heros in the world of computer science.

Founding Fathers (pre 1960)

George Boole (1815 - 1864)

Boolean algegra. Papers The Mathematical Analysis of Logic (1847), and An Investigation of the Laws of Thought (1854).

Friedrich Ludwig Gottlob Frege (1848 - 1925)

Analytic philosophy. Developed modern logic in the Begriffsschrift and work in the foundations of mathematics. Books The Foundations of Arithmetic, On Sense and Reference and The Thought.

Alan Turing (1912 - 1954)

The father of theoretical computer science. Formalised the concepts of algorithm and computation through the notion of a Universal Machine (i.e Turing Machine) in his seminal paper On Computable Numbers, with an Application to the Entscheidungsproblem.

John von Neumann (1903 - 1957)

Implementer of the “Turing Machine”.

Mauris Wilks

EDSAC, the first practical implementation of von-neumann architecture.

Golden Age (1960-90)

Tony Hoare (1934)

Hoare logic (for verifying correctness), formalised the interaction of concurrent processes with communicating sequential processes (CSP), and invented the quicksort algorithm.

John McCarthy

Creator of LISP. First dynamic language.

Ken Thompson

Unix. The B programming language. The Go programming language. Co-creator of the Plan 9 operating system. Regular expressions, UTF-8 encoding, and text editors QED and ed.

Dennis Ritchie (1941-2011)

The C programming language and Unix. Commonly known by his username dmr.

Douglas McIlroy (1932)

Unix pipes, and software componentization.

Bill Joy

BSD and vi. Paper Why The Future Doesn’t Need Us.

Joe Armstrong

Erlang. Fault tolerant distributed systems.

Alan Kay

OO. SmallTalk. Squeak.

Larry Wall

Perl.

Richard Stallman

GNU (GNU Not UNIX).

Linus Torvalds

The Linux kernel and Git.

David Cutler

VMS and Windows NT kernel.

Rob Pike

golang, SysV, X Windows.

Rich Hickey

Clojure.

Internet Age (1990 - 2000)

Robert Griesemer

Golang.

Bryan Cantrill

DTrace.