See also: Timeline of the History of Computers
This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers could do.
To put the list in chronological order, click the small “up-down” icon in the Date column. The Person column can also be sorted alphabetically, up-down.
|830~||Al-Khwarizmi||The term “algorithm” is derived from the algorism, the technique of performing arithmetic with Hindu–Arabic numerals popularised by al-Khwarizmi in his book On the Calculation with Hindu Numerals.|
|1944||Aiken, Howard||Conceived and codesigned the Harvard Mark I.|
|1970, 1989||Allen, Frances E.||Developed bit vector notation and program control-flow graphs. Became the first female IBM Fellow in 1989. In 2006, she became the first female recipient of the ACM’s Turing Award.|
|1939||Atanasoff, John||Built the first electronic digital computer, the Atanasoff–Berry Computer, though it was neither programmable nor Turing-complete.|
|1822, 1837||Babbage, Charles||Originated the concept of a programmable general-purpose computer. Designed the Analytical Engine and built a prototype for a less powerful mechanical calculator.|
|1954, 1963||Backus, John||Led the team that created FORTRAN (Formula Translation), the first practical high-level programming language, and he formulated the Backus–Naur form that described the formal language syntax.|
|1964||Baran, Paul||One of two independent inventors of the concept of digital packet switching used in modern computer networking including the Internet. Baran published a series of briefings and papers about dividing information into “message blocks” and sending it over distributed networks between 1960 and 1964.|
|1874||Baudot, Émile||A French telegraphic engineer patents the Baudot code, the first means of digital communication. The modem speed unit baud is named after him.|
|1989, 1990||Berners-Lee, Tim||Invented World Wide Web. With Robert Cailliau, sent first HTTP communication between client and server.|
|1966||Böhm, Corrado||Theorized of the concept of structured programming.|
|1847, 1854||Boole, George||Formalized Boolean algebra, the basis for digital logic and computer science.|
|1947||Booth, Kathleen||Invented the first assembly language.|
|1969, 1978||Brinch Hansen, Per||Developed the RC 4000 multiprogramming system which introduced the concept of an operating system kernel and the separation of policy and mechanism, effectively the first microkernel architecture. Co-developed the monitor with Tony Hoare, and created the first monitor implementation. Implemented the first form of remote procedure call in the RC 4000, and was first to propose remote procedure calls as a structuring concept for distributed computing.|
|1959, 1995||Brooks, Fred||Manager of IBM System/360 and OS/360 projects; author of The Mythical Man-Month.|
|1908||Brouwer, Luitzen Egbertus Jan||Founded intuitionistic logic which later came to prevalent use in proof assistants.|
|1930||Bush, Vannevar||Analogue computing pioneer. Originator of the Memex concept, which led to the development of Hypertext.|
|1951||Caminer, David||With John Pinkerton, developed the LEO computer, the first business computer, for J. Lyons and Co|
|1978||Cerf, Vint||With Bob Kahn, designed the Transmission Control Protocol and Internet Protocol (TCP/IP), the primary data communication protocols of the Internet and other computer networks.|
|1956||Chomsky, Noam||Made contributions to computer science with his work in linguistics. He developed Chomsky hierarchy, a discovery which has directly impacted programming language theory and other branches of computer science.|
|1936||Church, Alonzo||Made fundamental contributions to theoretical computer science, specifically in the development of computability theory in the form of lambda calculus. Independently of Alan Turing, he formulated what is now known as Church-Turing Thesis and proved that first-order logic is undecidable.|
|1962||Clark, Wesley A.||Designed LINC, the first functional computer scaled down and priced for the individual user. Put in service in 1963, many of its features are seen as prototypes of what were to be essential elements of personal computers.|
|1981||Clarke, Edmund M.||Developed model checking and formal verification of software and hardware together with E. Allen Emerson.|
|1970||Codd, Edgar F.||Proposed and formalized the relational model of data management, the theoretical basis of relational databases.|
|1971||Conway, Lynn||Superscalar architecture with multiple-issue out-of-order dynamic instruction scheduling.|
|1967||Cook, Stephen||Formalized the notion of NP-completeness, inspiring a great deal of research in computational complexity theory.|
|1965||Cooley, James||With John W. Tukey, created the fast Fourier transform.|
|1965||Davies, Donald||One of two independent inventors of the concept of digital packet switching used in modern computer networking including the Internet. Davies conceived of and named the concept of packet switching in data communication networks in 1965 and 1966.|
|1962||Dahl, Ole-Johan||With Kristen Nygaard, invented the proto-object oriented language SIMULA.|
|1968||Dijkstra, Edsger||Made advances in algorithms, pioneered and coined the term structured programming, invented the semaphore, and famously suggested that the GOTO statement should be considered harmful.|
|1918||Eccles, William and Jordan, Frank Wilfred||British physicists patent the Eccles–Jordan trigger circuit. The so-called bistable flip-flop, this circuit is a building block of all digital memory cells. Built from Vacuum tubes, their concept was essential for the success of the Colossus codebreaking computer.|
|1943, 1951||Eckert, J. Presper||With John Mauchly, designed and built the ENIAC, the first modern (all electronic, Turing-complete) computer, and the UNIVAC I, the first commercially available computer.|
|1981||Emerson, E. Allen||Developed model checking and formal verification of software and hardware together with Edmund M. Clarke.|
|1963||Engelbart, Douglas||Best known for inventing the computer mouse (in a joint effort with Bill English); as a pioneer of human–computer interaction whose Augment team developed hypertext, networked computers, and precursors to GUIs.|
|1973||Thacker, Charles P.||Pioneering design and realization of the Xerox Alto, the first modern personal computer, and in addition for his contributions to the Ethernet and the Tablet PC.|
|1971||Faggin, Federico||Designed the first commercial microprocessor (Intel 4004).|
|1974||Feinler, Elizabeth||Her team defined a simple text file format for Internet host names. The list evolved into the Domain Name System and her group became the naming authority for the top-level domains of .mil, .gov, .edu, .org, and .com.|
|1943||Flowers, Tommy||Designed and built the Mark 1 and the ten improved Mark 2 Colossus computers, the world’s first programmable, digital, electronic, computing devices.|
|1994||Floyd, Sally||Founded the field of Active Queue Management and co-invented Random Early Detection which is used in almost all Internet routers.|
|1879||Frege, Gottlob||Extended Aristotelian logic with first-order predicate calculus, independently of Charles Sanders Peirce, a crucial precursor in computability theory. Also relevant to early work on artificial intelligence, logic programming.|
|1880, 1898||Sanders Peirce, Charles||Proved the functional completeness of the NOR gate. Proposed the implementation of logic via electrical circuits, decades before Claude Shannon. Extended Aristotelian logic with first-order predicate calculus, independently of Gottlob Frege, a crucial precursor in computability theory. Also relevant to early work on artificial intelligence, logic programming.|
|Are known for their work on creating ARM 32bit RISC microprocessor.|
|1958, 1961, 1967||Ginsburg, Seymour||Proved “don’t-care” circuit minimization does not necessarily yield optimal results, proved that the ALGOL programming language is context-free (thus linking formal language theory to the problem of compiler writing), and invented AFL Theory.|
|1931||Gödel, Kurt||Proved that Peano arithmetic could not be both logically consistent and complete in first-order predicate calculus. Church, Kleene, and Turing developed the foundations of computation theory based on corollaries to Gödel’s work.|
|1989||Goldwasser, Shafi||Zero-knowledge proofs invented by Goldwasser, Micali and Rackoff. Goldwasser and Micali awarded the Turing Award in 2012 for this and other work.|
|2011||Graham, Susan L.||Awarded the 2009 IEEE John von Neumann Medal for “contributions to programming language design and implementation and for exemplary service to the discipline of computer science”.|
|1953||Gray, Frank||Physicist and researcher at Bell Labs, developed the reflected binary code (RBC) or Gray code. Gray’s methodologies are used for error detection and correction in digital communication systems, such as QAM in digital subscriber line networks.|
|1974, 2005||Gray, Jim||Innovator in database systems and transaction processing implementation.|
|1986, 1990||Grosz, Barbara[undue weight? – discuss]||Created the first computational model of discourse, which established the field of research and influenced language-processing technologies. Also developed SharedPlans model for collaboration in multi-agent systems.|
|1988, 2015||Gustafson, John||Proved the viability of parallel computing experimentally and theoretically Gustafson’s Law. Developed high-efficiency formats for representing real numbers Unum and Posit.|
|1971||Hamilton, Margaret||Developed the concepts of asynchronous software, priority scheduling, end-to-end testing, and human-in-the-loop decision capability, such as priority displays which then became the foundation for ultra reliable software design.|
|1950||Hamming, Richard||Created the mathematical field of error-correcting code, Hamming code, Hamming matrix, the Hamming window, Hamming numbers, sphere-packing (or Hamming bound), and the Hamming distance. He established concept of perfect code.|
|1972, 1973||Thi, André Truong Trong and François Gernelle[undue weight? – discuss]||Invention of the Micral N, the earliest commercial, non-kit personal computer based on a microprocessor.|
|1981, 1995, 1999||Hejlsberg, Anders||Author of Turbo Pascal while at Borland, the chief architect of Delphi, and designer and lead architect of C# at Microsoft.|
|2008, 2012, 2018||Hinton, Geoffrey||Popularized and enabled the use of artificial neural networks and deep learning, which rank among the most successful tools in modern artificial intelligence efforts. Received the Turing Award in 2018 for conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.|
|1961, 1969, 1978, 1980||Hoare, C.A.R.||Developed the formal language Communicating Sequential Processes (CSP), Hoare logic for verifying program correctness, and Quicksort. Fundamental contributions to the definition and design of programming languages.|
|1968||Holberton, Betty||Wrote the first mainframe sort merge on the Univac|
|1889||Hollerith, Herman||Widely regarded as the father of modern machine data processing. His invention of the punched card tabulating machine marks the beginning of the era of semiautomatic data processing systems.|
|1952||Hopper, Grace||Pioneered work on the necessity for high-level programming languages, which she termed automatic programming, and wrote the A-O compiler, which heavily influenced the COBOL language.|
|1997||Hsu Feng-hsiung||Work led to the creation of the Deep Thought chess computer, and the architect and the principal designer of the IBM Deep Blue chess computer which defeated the reigning World Chess Champion, Garry Kasparov, in 1997.|
|1952||Hurd, Cuthbert||Helped the International Business Machines Corporation develop its first general-purpose computer, the IBM 701.|
|1945, 1953||Huskey, Harry||Early computer design including contributions to the ENIAC, EDVAC, Pilot ACE, EDVAC, SEAC, SWAC, and Bendix G-15 computers. The G-15 has been described as the first personal computer, being operable by one person.|
|1954, 1962||Iverson, Kenneth||Assisted in establishing the first graduate course in computer science (at Harvard) and taught that course; invented the APL programming language and made contribution to interactive computing.|
|1801||Jacquard, Joseph Marie||Built and demonstrated the Jacquard loom, a programmable mechanized loom controlled by a tape constructed from punched cards.|
|1206||Al-Jazari||Invented programmable machines, including programmable humanoid robots, and the castle clock, an astronomical clock considered the first programmable analog computer.|
|1953||Spärck Jones, Karen[undue weight? – discuss]||One of the pioneers of information retrieval and natural language processing.|
|1970, 1990||Karnaugh, Maurice||Inventor of the Karnaugh map, used for logic function minimization.|
|1973||Karpinski, Jacek||Developed the first differential analyzer that used transistors, and developed one of the first machine learning algorithms for character and image recognition. Also was the inventor of one of the first minicomputers, the K-202.|
|1970~||Kay, Alan||Pioneered many of the ideas at the root of object-oriented programming languages, led the team that developed Smalltalk, and made fundamental contributions to personal computing.|
|1957||Kirsch, Russell Gray||Whilst working for the National Bureau of Standards (NBS), Kirsch used a recently developed image scanner to scan and store the first digital photograph. His scanned photo of his three-month-old son was deemed by Life magazine as one the “100 Photographs That Changed The World.”|
|1936||Kleene, Stephen Cole||Pioneered work with Alonzo Church on the Lambda Calculus that first laid down the foundations of computation theory.|
|1968, 1989||Knuth, Donald||Wrote The Art of Computer Programming and created TeX. Coined the term “analysis of algorithms” and made major contributions to that field, including popularizing Big O notation.|
|1974, 1978||Lamport, Leslie||Formulated algorithms to solve many fundamental problems in distributed systems (e.g. the bakery algorithm).|
Developed the concept of a logical clock, enabling synchronization between distributed entities based on the events through which they communicate. Created LaTeX.
|1951||Lebedev, Sergei Alekseyevich||Independently designed the first electronic computer in the Soviet Union, MESM, in Kiev, Ukraine.|
|1670~||Leibniz, Gottfried||Made advances in symbolic logic, such as the Calculus ratiocinator, that were heavily influential on Gottlob Frege. He anticipated later developments in first-order predicate calculus, which were crucial for the theoretical foundations of computer science.|
|1960||Licklider, J. C. R.||Began the investigation of human–computer interaction, leading to many advances in computer interfaces as well as in cybernetics and artificial intelligence.|
|1987||Liskov, Barbara||Developed the Liskov substitution principle, which guarantees semantic interoperability of data types in a hierarchy.|
|1300~||Llull, Ramon||Designed multiple symbolic representations machines, and pioneered notions of symbolic representation and manipulation to produce knowledge—both of which were major influences on Leibniz.|
|1852||Lovelace, Ada||An English mathematician and writer, chiefly known for her work on Charles Babbage’s proposed mechanical general-purpose computer, the Analytical Engine. She was the first to recognize that the machine had applications beyond pure calculation, and created the first algorithm intended to be carried out by such a machine. As a result, she is often regarded as the first to recognize the full potential of a “computing machine” and the first computer programmer.|
|1909||Ludgate, Percy||Charles Babbage in 1843 and Percy Ludgate in 1909 designed the first two Analytical Engines in history. Ludgate’s engine used multiplication as its basis (using his own discrete “Irish logarithms”), had the first multiplier-accumulator (MAC), was first to exploit a MAC to perform division, stored numbers as displacements of rods in shuttles, and had several other novel features, including for program control.|
|1971||Martin-Löf, Per||Published an early draft on the type theory that many proof assistants build on.|
|1943, 1951||Mauchly, John||With J. Presper Eckert, designed and built the ENIAC, the first modern (all electronic, Turing-complete) computer, and the UNIVAC I, the first commercially available computer. Also worked on BINAC(1949), EDVAC(1949), UNIVAC(1951) with Grace Hopper and Jean Bartik, to develop early stored program computers.|
|1958||McCarthy, John||Invented LISP, a functional programming language.|
|1956, 2012||McCluskey, Edward J.||Fundamental contributions that shaped the design and testing of digital systems, including the first algorithm for digital logic synthesis, the Quine-McCluskey logic minimization method.|
|1986||Meyer, Bertrand||Developed design by contract in the guise of the Eiffel programming language.|
|1963||Minsky, Marvin||Co-founder of Artificial Intelligence Lab at Massachusetts Institute of Technology, author of several texts on AI and philosophy. Critic of the perceptron.|
|850~||Banū Mūsā||The Banū Mūsā brothers wrote the Book of Ingenious Devices, where they described what appears to be the first programmable machine, an automatic flute player.|
|1950, 1960||Nakamatsu Yoshirō||Invented the first floppy disk at Tokyo Imperial University in 1950, receiving a 1952 Japanese patent and 1958 US patent for his floppy magnetic disk sheet invention, and licensed to Nippon Columbia in 1960 and IBM in the 1970s.|
|2008||Nakamoto, Satoshi||The anonymous creator or creators of Bitcoin, the first peer-to-peer digital currency. Nakamoto’s 2008 white-paper introduced the concept of the blockchain, a database structure that allows full trust in the decentralized and distributed public transaction ledger of the cryptocurrency.|
|1934, 1938||Nakashima Akira||NEC engineer introduced switching circuit theory in papers from 1934 to 1936, laying the foundations for digital circuit design, in digital computers and other areas of modern technology.|
|1960||Naur, Peter||Edited the ALGOL 60 Revised Report, introducing Backus-Naur form|
|1945||Neumann, John von||Formulated the von Neumann architecture upon which most modern computers are based.|
|1956||Newell, Allen||Together with J. C. Shaw and Herbert Simon, the three co-wrote the Logic Theorist, the first true AI program, in the first list-processing language, which influenced LISP.|
|1943||Newman, Max||Instigated the production of the Colossus computers at Bletchley Park. After the war he established the Computing Machine Laboratory at the University of Manchester where he created the project that built the world’s first stored-program computer, the Manchester Baby.|
|1962||Nygaard, Kristen||With Ole-Johan Dahl, invented the proto-object oriented language SIMULA.|
|500 BC ~||Pāṇini||Ashtadhyayi Sanskrit grammar was systematised and technical, using metarules, transformations, and recursions, a forerunner to formal language theory and basis for Panini-Backus form used to describe programming languages.|
|1642||Pascal, Blaise||Invented the mechanical calculator.|
|1952||Perlis, Alan||On Project Whirlwind, member of the team that developed the ALGOL programming language, and the first recipient of the Turing Award|
|1985||Perlman, Radia||Invented the Spanning Tree Protocol (STP), which is fundamental to the operation of network bridges, while working for Digital Equipment Corporation. Has done extensive and innovative research, particularly on encryption and networking. She received the USENIX Lifetime Achievement Award in 2007, among numerous others.|
|1964||Perotto, Pier Giorgio[undue weight? – discuss]||Computer designer for Olivetti, designed one of the first electronic programmable calculators, the Programma 101|
|1932||Péter, Rózsa||Published a series of papers grounding recursion theory as a separate area of mathematical research, setting the foundation for theoretical computer science.|
|1995||Picard, Rosalind[undue weight? – discuss]||Founded Affective Computing, and laid the foundations for giving computers skills of emotional intelligence.|
|1936||Post, Emil L.||Developed the Post machine as a model of computation, independently of Turing. Known also for developing truth tables, the Post correspondence problem used in recursion theory as well as proving what is known as Post’s theorem.|
|1967–2011||Ritchie, Dennis||With Ken Thompson, pioneered the C programming language and the Unix computer operating system at Bell Labs.|
|1958–1960||Rosen, Saul||Designed the software of the first transistor-based computer. Also influenced the ALGOL programming language.|
|1910||Russell, Bertrand||Made contributions to computer science with his work on mathematical logic (example: truth function). Introduced the notion of type theory. He also introduced type system (along with Alfred North Whitehead) in his work, Principia Mathematica.|
|1975||Salton, Gerard[undue weight? – discuss]||A pioneer of automatic information retrieval, who proposed the vector space model and the inverted index.|
|1962||Sammet, Jean E.||Developed the FORMAC programming language. She was also the first to write extensively about the history and categorization of programming languages in 1969, and became the first female president of the Association for Computing Machinery in 1974.|
|1963, 1973||Sasaki Tadashi||Sharp engineer who conceived a single-chip microprocessor CPU, presenting the idea to Busicom and Intel in 1968. This influenced the first commercial microprocessor, the Intel 4004; before Busicom, Intel was a memory manufacturer. Tadashi Sasaki also developed LCD calculators at Sharp.|
|1937, 1948||Shannon, Claude||Founded information theory, and laid foundations for practical digital circuit design.|
|1968, 1980||Shima Masatoshi||Designed the Intel 4004, the first commercial microprocessor, as well as the Intel 8080, Zilog Z80 and Zilog Z8000 microprocessors, and the Intel 8259, 8255, 8253, 8257 and 8251 chips.|
|1956, 1957||Simon, Herbert A.||A political scientist and economist who pioneered artificial intelligence. Co-creator of the Logic Theory Machine and the General Problem Solver programs.|
|1972||Stallman, Richard||Stallman launched the GNU Project in September 1983 to create a Unix-like computer operating system composed entirely of free software. With this, he also launched the free software movement.|
|1982||Stonebraker, Michael||Researcher at MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) who revolutionized the field of database management systems (DBMSs) and founded multiple successful database companies|
|1979||Stroustrup, Bjarne||Invented C++ at Bell Labs|
|1963||Sutherland, Ivan||Author of Sketchpad, the ancestor of modern computer-aided drafting (CAD) programs and one of the early examples of object-oriented programming.|
|1967||Thompson, Ken||Created the Unix operating system, the B programming language, Plan 9 operating system, the first machine to achieve a Master rating in chess, and the UTF-8 encoding at Bell Labs and the Go programming language at Google.|
|1993||Toh Chai Keong||Created mobile ad hoc networking; Implemented the first working wireless ad hoc network of laptop computers in 1998 using Linux OS, Lucent WaveLan 802.11 radios, and a new distributed routing protocol transparent to TCP/UDP/IP.|
|1991||Torvalds, Linus||Created the first version of the Linux kernel.|
|1912, 1914, 1920||Torres Quevedo, Leonardo||In 1912, Leonardo Torres Quevedo built El Ajedrecista (the chess player), one of the first autonomous machines capable of playing chess. As opposed to the human-operated The Turk and Ajeeb, El Ajedrecista was a true automaton built to play chess without human guidance. It played an endgame with three chess pieces, automatically moving a white king and a rook to checkmate the black king moved by a human opponent. In his work Essays on Automatics, published in 1914, Torres Quevedo formulates what will be a new branch of engineering: automation. This work also included floating-point arithmetic. In 1920, Torres Quevedo was the first in history to build an early electromechanical version of the Analytical Engine.|
|1965||Tukey, John W.||With James Cooley, created the fast Fourier transform. He invented the term “bit”.|
|1936||Turing, Alan||Made several foundamental contributions to theoretical computer science, including the Turing machine computational model, the conceiving of the stored program concept and the designing of the high-speed ACE design. Independently of Alonzo Church, he formulated the Church-Turing thesis and proved that first-order logic is undecidable. He also explored the philosophical issues concerning artificial intelligence, proposing what is now known as Turing test.|
|1950~||Wang An||Made key contributions to the development of magnetic core memory.|
|1955, 1960s, 1974||Ware, Willis||Co-designer of JOHNNIAC. Chaired committee that developed the Code of Fair Information Practice and led to the Privacy Act of 1974. Vice-chair of the Privacy Protection Study Commission.|
|1968||Wijngaarden, Adriaan van||Developer of the W-grammar first used in the definition of ALGOL 68|
|1949||Wilkes, Maurice||Built the first practical stored program computer (EDSAC) to be completed and for being credited with the ideas of several high-level programming language constructs.|
|1970, 1978||Wirth, Niklaus||Designed the Pascal, Modula-2 and Oberon programming languages.|
|1875, 1875||Verea, Ramón||Designed and patented the Verea Direct Multiplier, the first mechanical direct multiplier.|
|1938, 1945||Zuse, Konrad||Built the first digital freely programmable computer, the Z1. Built the first functional program-controlled computer, the Z3. The Z3 was proven to be Turing-complete in 1998. Produced the world’s first commercial computer, the Z4. Designed the first high-level programming language, Plankalkül.|
|1970||Wilkinson, James H.||Research in numerical analysis to facilitate the use of the high-speed digital computer, having received special recognition for his work in computations in linear algebra and “backward” error analysis.|
|1973||Bachman, Charles||Outstanding contributions to database technology.|
|1976||Rabin, Michael O.||The joint paper “Finite Automata and Their Decision Problems,” which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.|
|1976||Scott, Dana||The joint paper “Finite Automata and Their Decision Problems,” which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.|
|1978||Floyd, Robert W.||Having a clear influence on methodologies for the creation of efficient and reliable software, and helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.|
|1985||Karp, Richard M.||Contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness.|
|1986||Hopcroft, John||Fundamental achievements in the design and analysis of algorithms and data structures.|
|1986||Tarjan, Robert||Fundamental achievements in the design and analysis of algorithms and data structures.|
|1987||Cocke, John||Significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC).|
|1989||Kahan, William||Fundamental contributions to numerical analysis. One of the foremost experts on floating-point computations. Kahan has dedicated himself to “making the world safe for numerical computations.|
|1989||Corbató, Fernando J.||Pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems, CTSS and Multics.|
|1991||Milner, Robin||1) LCF, the mechanization of Scott’s Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.|
|1992||Lampson, Butler W.||Development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing.|
|1993||Hartmanis, Juris||Foundations for the field of computational complexity theory.|
|1993||Stearns, Richard E.||Foundations for the field of computational complexity theory.|
|1994||Feigenbaum, Edward||Pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.|
|1994||Reddy, Raj||Pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.|
|1995||Blum, Manuel||Contributions to the foundations of computational complexity theory and its application to cryptography and program checking.|
|1996||Pnueli, Amir||Introducing temporal logic into computing science and for outstanding contributions to program and systems verification.|
|2000||Yao, Andrew||Fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity.|
|1977||Rivest, Ron||Ingenious contribution and making public-key cryptography useful in practice.|
|1977||Shamir, Adi||Ingenious contribution and making public-key cryptography useful in practice.|
|1977||Adleman, Leonard||Ingenious contribution and making public-key cryptography useful in practice.|
|1978||Kahn, Bob||Designed the Transmission Control Protocol and Internet Protocol (TCP/IP), the primary data communication protocols of the Internet and other computer networks.|
|2007||Sifakis, Joseph||Developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries.|
|2010||Valiant, Leslie||Transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing.|
|2011||Pearl, Judea||Fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning.|
|1976||Hellman, Martin||Fundamental contributions to modern cryptography. Diffie and Hellman’s groundbreaking 1976 paper, “New Directions in Cryptography,” introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today.|
|1976||Diffie, Whitfield||Fundamental contributions to modern cryptography. Diffie and Hellman’s groundbreaking 1976 paper, “New Directions in Cryptography,” introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today.|
|2018||Bengio, Yoshua, Hinton Geoffrey, Lecun Yann||Conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.|
|2012||Silvio Micali||For transformative work that laid the complexity-theoretic foundations for the science of cryptography and in the process pioneered new methods for efficient verification of mathematical proofs in complexity theory.|
|2017||John L. Hennessy||For pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry.|
|2017||David Patterson||For pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry.|
|2019||Edwin Catmull||For fundamental contributions to 3-D computer graphics, and the revolutionary impact of these techniques on computer-generated imagery (CGI) in filmmaking and other applications|
|2019||Pat Hanrahan||For fundamental contributions to 3-D computer graphics, and the revolutionary impact of these techniques on computer-generated imagery (CGI) in filmmaking and other applications|
~ Items marked with a tilde are circa dates.
Historians credit seminal insights to Welsh scientist Donald W. Davies and American engineer Paul Baran
Essentially all the work was defined by 1961, and fleshed out and put into formal written form in 1962. The idea of hot potato routing dates from late 1960.
Almost immediately after the 1965 meeting, Donald Davies conceived of the details of a store-and-forward packet switching system; Roberts, Dr. Lawrence G. (May 1995). “The ARPANET & Computer Networks”. Archived from the original on March 24, 2016. Retrieved 13 April 2016.
Then in June 1966, Davies wrote a second internal paper, “Proposal for a Digital Communication Network” In which he coined the word packet,- a small sub part of the message the user wants to send, and also introduced the concept of an “Interface computer” to sit between the user equipment and the packet network.
technically, the machine was a programmable calculator, not a computer.
It appears that the Mathatronics Mathatron calculator preceeded [sic] the Programma 101 to market.
Joshua Bloch is a professor at Carnegie Mellon University. He was formerly the chief Java architect at Google, a distinguished engineer at Sun Microsystems, and a senior systems designer at Transarc. He led the design and implementation of numerous Java platform features, including the JDK 5.0 language enhancements and the Java Collections Framework. He holds a Ph.D. in computer science from Carnegie Mellon University and a B.S. in computer science from Columbia University. He is the author of Effective Java.
|Born||August 28, 1961 (age 59)|
Southampton, New York
|Alma mater||Columbia University (B.S.)|
Carnegie Mellon University (Ph.D.)
|Institutions||Carnegie Mellon University|
|Doctoral advisor||Alfred Spector|
“Joshua J. Bloch (born August 28, 1961) is an American software engineer and a technology author, formerly employed at Sun Microsystems and Google. He led the design and implementation of numerous Java platform features, including the Java Collections Framework, the java.math package, and the assert mechanism. He is the author of the programming guide Effective Java (2001), which won the 2001 Jolt Award, and is a co-author of two other Java books, Java Puzzlers (2005) and Java Concurrency In Practice (2006).” (WP)
Bloch holds a B.S. in computer science from Columbia University and a Ph.D. in computer science from Carnegie Mellon University. His 1990 thesis was titled A Practical Approach to Replication of Abstract Data Objects and was nominated for the ACM Distinguished Doctoral Dissertation Award.
Bloch has worked as a Senior Systems Designer at Transarc, and later as a Distinguished Engineer at Sun Microsystems. In June 2004, he left Sun and became Chief Java Architect at Google. On August 3, 2012, Bloch announced that he would be leaving Google.
In December 2004, Java Developer’s Journal included Bloch in its list of the “Top 40 Software People in the World”.
Bloch has proposed the extension of the Java programming language with two features: Concise Instance Creation Expressions (CICE) (coproposed with Bob Lee and Doug Lea) and Automatic Resource Management (ARM) blocks. The combination of CICE and ARM formed one of the three early proposals for adding support for closures to Java. ARM blocks were added to the language in JDK7.
Simon started out working as a software engineer, specializing in industrial control systems, and had a sideline teaching for a local University in his then-home-town of Cambridge, England.
In 1995 he joined Sun Microsystems, Inc. as a senior instructor and course developer. Simon spearheaded the introduction of Java training by Sun Microsystems in the U.K. in 1995. He developed the first Java certification exams for Sun before he moved to the U.S. in 1998.
Since leaving Sun in 2004, Simon has developed and delivered training for clients around the world.
Simon believes that training should have an immediate purpose and application, and that the most effective training is usually “on the job” mentoring, helping to remove the immediate roadblocks to productivity that so often plague workers in fast moving environments.
Herbert Schildt is an American computing author, programmer and musician. He has written books about various programming languages. He was also a founding member of the progressive rock band Starcastle.
Called “one of the world’s foremost authors of books about programming” by International Developer magazine, best-selling author Herbert Schildt has written about programming for over three decades. His books have sold millions of copies worldwide and have been widely translated. Featured as one of the rock star programmers in Ed Burns’ book “Secrets of the Rock Star Programmers”, Schildt is interested in all facets of computing, but his primary focus is computer languages. He is the author of numerous books on Java, C, C++, and C#. Schildt holds BA and MCS degrees from the University of Illinois, Urbana/Champaign.
Schildt holds both graduate and undergraduate degrees from the University of Illinois at Urbana-Champaign (UIUC). He claims he was a member of the original ANSI committee that standardized the C language in 1989, and the ANSI/ISO committees that updated that standard in 1999, and standardized C++ in 1998.[unreliable source?] Other members of the ANSI C committee have drawn his presence in the committee and the quality of his committee efforts into question.
Schildt has written books about DOS, C, C++, C# and other computer languages. His earliest books were published around 1985 and 1986. (The book Advanced Modula-2 from 1987 says on the cover that it is his sixth book.) His books were initially published by Osborne, an early computer book publisher which concentrated on titles for the personal computer. After the acquisition of Osborne by McGraw-Hill, the imprint continued publishing Schildt’s work until the imprint was subsumed completely into the larger company.
One of Schildt’s most enduring projects is the Little C interpreter, which is a lengthy example of a hand-written recursive-descent parser which interprets a subset of the C language. The program was originally published in Dr. Dobb’s Journal in August, 1989 entitled “Building your own C interpreter”. This example was included in the books Born to Code In C (Osborne, 1989), The Craft of C (Osborne, 1992), and in a later edition of C: The Complete Reference.
Schildt’s book The Art of C++ similarly features an interpreter for a language called Mini-C++. (Mini-C++ does not support the “class” keyword, although minimal and artificial support for
cout has been added.) There is also a BASIC interpreter called Small BASIC in Turbo C: The Complete Reference, first edition, written in C, and another in The Art of Java (2003) written in Java.
Code for all these is available for download from the McGraw Hill technical books website, under each book.
In addition to his work as a computer scientist, Schildt is the original multi-keyboardist for the progressive rock band Starcastle, appearing on all of the group’s albums, most of which were produced from 1976-1978. His style is distinguished by extensive use of Oberheim analog sequencers to create ethereal washes of sound colors, a pioneering technique which was quite cutting-edge for the pre-digital synthesizer period. He is also featured on the band’s 2007 album “Song of Times.”
Schildt is called “one of the world’s foremost authors of books about programming” by International Developer magazine. He is featured as one of the rock star programmers in Ed Burns’ book Secrets of the Rock Star Programmers. His books have sold in the millions, worldwide.
Schildt’s books have a reputation for being riddled with errors. Their technical accuracy has been challenged by many reviewers, including ISO C committee members Peter Seebach and Clive Feather, C FAQ author Steve Summit, and numerous C Vu reviewers from the Association of C and C++ Users (ACCU).
Other reviewers have been more positive, with one ACCU reviewer saying about Schildt’s C: The Complete Reference, Fourth Edition that Schildt “has learnt something, not enough to receive positive acclaim but enough to remove the ‘positively detrimental’ epithet”.
Unfortunately, the book contains numerous errors and omissions, primarily in the annotations, and a few pages of the standard itself are missing. Many people on the Internet recommend ignoring the annotations entirely.http://c-faq.com/ansi/avail.html
May 19, 1955 (age 65)
Calgary, Alberta, Canada
|Alma mater||University of Calgary|
Carnegie Mellon University
(MA; PhD, 1983)
|Known for||Java (programming language)|
|Awards||Officer of the Order of CanadaIEEE John von Neumann Medal The Economist Innovation AwardNAE Foreign Member|
|Institutions||Sun MicrosystemsOracle CorporationGoogleLiquid RoboticsAmazon Web Services|
|Thesis||Algebraic Constraints (1983)|
|Doctoral advisor||Bob Sproull and Raj Reddy[2|
James Gosling received a Bachelor of Science from the University of Calgary  and his M.A. and Ph.D. from Carnegie Mellon University, all in computer science. He wrote a version of Emacs called Gosling Emacs (Gosmacs) while working toward his doctorate. He built a multi-processor version of Unix for a 16-way computer system while at Carnegie Mellon University, before joining Sun Microsystems. He also developed several compilers and mail systems there.
Gosling was with Sun Microsystems between 1984 and 2010 (26 years). At Sun he invented an early Unix windowing system called NeWS, which became a lesser-used alternative to the still used X Window, because Sun did not give it an open source license.
He is known as the father of the Java programming language. He got the idea for the Java VM while writing a program to port software from a PERQ by translating Perq Q-Code to VAX assembler and emulating the hardware. He is generally credited with having invented the Java programming language in 1994. He created the original design of Java and implemented the language’s original compiler and virtual machine. Gosling traces the origins of the approach to his early graduate student days, when he created a p-code virtual machine for the lab’s DEC VAX computer, so that his professor could run programs written in UCSD Pascal. In the work leading to Java at Sun, he saw that architecture-neutral execution for widely distributed programs could be achieved by implementing a similar philosophy: always program for the same virtual machine. Another contribution of Gosling’s was co-writing the “bundle” program, known as “shar”, a utility thoroughly detailed in Brian Kernighan and Rob Pike‘s book The Unix Programming Environment.
He left Sun Microsystems on April 2, 2010, after it was acquired by the Oracle Corporation, citing reductions in pay, status, and decision-making ability, along with change of role and ethical challenges. He has since taken a very critical stance towards Oracle in interviews, noting that “during the integration meetings between Sun and Oracle, where we were being grilled about the patent situation between Sun and Google, we could see the Oracle lawyer’s eyes sparkle.” He clarified his position during the Oracle v. Google trial over Android: “While I have differences with Oracle, in this case they are in the right. Google totally slimed Sun. We were all really disturbed, even Jonathan [Schwartz]: he just decided to put on a happy face and tried to turn lemons into lemonade, which annoyed a lot of folks at Sun.” However, he approved of the court’s ruling that APIs should not be copyrightable.
In March 2011, Gosling joined Google. Six months later, he followed his colleague Bill Vass and joined a startup called Liquid Robotics. In late 2016, Liquid Robotics was acquired by Boeing. Following the acquisition, Gosling left Liquid Robotics to work at Amazon Web Services as Distinguished Engineer in May 2017.
He is known for his love of proving “the unknown”[clarification needed] and has noted but later clarified to be untrue that his favorite irrational number is √2. He has a framed picture of the first 1,000 digits of √2 in his office.
|Wikimedia Commons has media related to James Gosling.|
At Sun he is best known for creating the original design of Java and implementing its original compiler and virtual machine.