Computer science/Catalogs/Breakthroughs

This is a list of people who have made major conceptual breakthroughs in computer science that we need to mention somehow in the history of computing article (which is currently organized as a timeline not amenable to inclusion of people per se).

This list should not include people just because they invented a new computer, operating system, or type of software, unless they devised an innovation which was so compelling that it was adopted by everyone later because it was such a good idea (and you can identify what that innovation was, and document it). Let's keep this for the really great ones for now.

This article might be renamed, moved or removed later once we figure out how to structure more of the CZ:Computers Workgroup articles.

Please also alphabetize by last name. Pat Palmer 16:06, 12 May 2007 (CDT)

• Backus, John (1924-2007) - inventor of FORTRAN
• Babbage, Charles (1791-1871) - early theorist for how a computing machine could be programmed
• Bricklin, Dan - invention of the first spreadsheet
• Church, Alonzo (1903-1995) - proof that first-order logic is undecidable; Church's thesis; creation of the lambda calculus
• Hamming, Richard (1915-1998) - invention of Hamming code for error correction
• Hopper, Grace (1906-1992) - invention of the compiler, and COBOL
• Knuth, Donald - created an encyclopedia of algorithms; pioneer in analysis of algorithms
• Shannon, Claude (1916-2001)- association of boolean algebra with digital design; pioneering work in information theory
• Torvalds, Linus - implemented Linux kernel, first monolithic, UNIX-like operating system which could run on an IBM compatible PC
• Turing, Alan (1912-1954) - theory of computability
• Zuse, Konrad (1910-1995) - likely invented the first electronic computer; likely the first designer to propose pipelining] in processors