剑客
关注科技互联网

最伟大的程序员列表

Awesome Programmers

A collection of software engineers that deserve to be in this collection. They are the most awesome programmers in history. Lets give them some respect.

Undoubtedly, there are some great candidates that I’ve overlooked. If you see a programmer, active today or from the past, that you think should be included submit a new issue.

Table of Contents

  • Algorithms / Datatypes

  • Artificial Intelligence

    • Development Frameworks

  • Programming Languages

  • Computer Architecture / Theory

  • Protocols / Standards

  • Analysis / Verification

Databases

  • Edgar F. Codd
    : The inventor of the relational model
    for database management, the theoretical basis for RDMS and co-creator of System R, the first implementation of the SQL
    database query language.
  • Charles W. Bachman
    : The designer of the linked-list data storage database Integrated Data Store
    , known to be one of the first database management systems and he is the organizer of the group CODASYL
    .
  • Donald D. Chamberlin
    : The co-creator of the most popular database query language, SQL
    .
  • Raymond F. Boyce
    : The co-creator of the most popular database query language, SQL
    .
  • Jeff Dean
    : The co-author of the seminal paper of "big data" storage BigTable
    , the co-developer of the BigTable
    system, the co-author of the important paper for the "big data" operational model MapReduce
    and the co-author of the paper for a highly distributed database Spanner
    .
  • Sanjay Ghemawat
    : The co-author of the seminal paper of "big data" storage BigTable
    , the co-developer of the BigTable
    system, the co-author of the important paper for the "big data" operational model MapReduce
    , the co-author of the large cluster data system Google File System
    and the co-author of the paper for a highly distributed database Spanner
    .
  • Michael Stonebraker
    : The creator of one of the first implementations of the relational database model Ingres
    and the creator of the very popular relational database Postgres
    database.
  • Doug Cutting
    : The co-creator of the BigTable inspired, de-facto "big data" distributed file system and processing framework Hadoop
    .
  • Mike Cafarella
    : The co-creator of the BigTable inspired, de-facto "big data" distributed file system and processing framework Hadoop
    .
  • Avinash Lakshman
    : The co-creator of the Dynamo
    storage system which has played an influential role
    in the modern design of highly scalable databases. He is also the creator of the Cassandra
    distributed database system.
  • Werner Vogels
    : The co-creator of the Dynamo
    storage system which has played an influential role
    in the modern design of highly scalable databases.
  • Jim Gray
    : The original designer of database transactions
    , the single logical unit of work performed by a database.
  • Andreas Reuter
    : Helped coin the definitions for ACID
    properties of database transactions.
  • Theo Härder
    : Helped coin the definitions for ACID
    properties of database transactions.
  • Phil Bernstein
    : The creator of concepts for concurrency control over distributed networks
  • Salvatore Sanfilippo (antirez)
    : The creator of the Redis
    key-value database
  • Prashant Malik
    : The co-creator of the Cassandra
    distributed database system
  • Avinash Lakshman
    : The co-creator of the Cassandra
    distributed database system
  • Peter Chen
    : The creator of the Entity–relationship model
    which was a more familiar database design than earlier versions of relational models.
  • T. William Olle
    : He was an active developer in the CODASYL
    consortium that promoted effective data systems analysis, design and implementation.
  • C.Wayne Ratliff
    : The creator of dBase
    , originally named Vulcan, one of the first databases with a development environment on personal computers in the 1980s.
  • Malcolm Atkinson
    : One of the early pioneers of the Object database
    defining the core concepts in his paper Object-Oriented Database Manifesto.
  • Vern Watts: The creator of the IMS
    IBM hierarchical database system.
  • Dwight Merriman: The creator of the popular document-oriented database system Mongodb
    .
  • Shay Banon: The creator of the Lucene based full-text search engine database Elasticsearch
    .
  • Yonik Seeley: The creator of the Lucene based full-text search engine database Solr
    .
  • Joydeep Sen Sarma
    : The co-creator of the Hadoop based data warehouse framework Hive
    .
  • Ashish Thusoo
    : The co-creator of the Hadoop based data warehouse framework Hive
    .
  • Brad Fitzpatrick
    : The creator of the distributed memory caching system Memcached
    .
  • Andy Gross: The co-creator of the highly scalable key-value database Riak
    .
  • Damien Katz: The creator of the document-oriented database CouchDB
    .
  • Luca Garulli: The co-creator of the multi-model NoSQL database OrientDB
  • Andrey Lomakin: The co-creator of the multi-model NoSQL database OrientDB
  • Emil Eifrem: The co-creator of the graph database Neo4j
  • Johan Svensson: The co-creator of the graph database Neo4j
  • Matthias Broecheler: The creator of the graph databaseTitan

Algorithms / Datatypes

Cryptography

Artificial Intelligence

  • Alan Turing
    : The father of artificial intelligence, the creator of the Turing Test
    standard for which a machine’s ability to exhibit intelligent behavior is measured, and pioneered concepts of machines computing according to a set of rules.
  • Marvin Minsky
    : Helped establish the principle concepts of artificial intelligence and co-founder of the Massachusetts Institute of Technology’s AI laboratory
  • John McCarthy
    : One of the founders for the discipline of artificial intelligence and coined the term "artificial intelligence".
  • Allen Newell
    : Along with Herbert A. Simon, helped build two of the earliest Artificial Intelligence programs, the Logic Theorist and the General Problem Solver.
  • Herbert A. Simon
    : Along with Allen Newell, helped build two of the earliest Artificial Intelligence programs, the Logic Theorist and the General Problem Solver.
  • Nathaniel Rochester
    : He is sometimes considered to be the founder in the academic field of artificial intelligence by organizing a group in IBM focused on the subject. This group later evolved into the Dartmouth Conferences
    , the seminal event in the artificial intelligence.
  • Edward Feigenbaum
    : The chief developer of the first expert system
    Dendral
    primarily used to explore induction in problems for the scientific commmunity.
  • Raj Reddy
    : The co-creator of early robotic systems like the Hearsay 1 that demonstrated advanced language speaking, and co-creator of many innovative artificial intelligence systems like the "blackboard model".
  • Andrew Ng
    : The co-founder of Google Brain
    research project where one of the first applications of the deep learning model was applied and the co-developer of Robot Operating System
    .
  • Jeff Dean
    : The co-founder of Google Brain
    research project which is used for Android’s speech recognition system, photo search and video recommendations.
  • Judea Pearl
    : The creator of the highly important Bayesian networks
    probabilistic graphical model and the principal inference algorithms within the model. He is also the developer of a theory for casual inference
    .
  • Jacek Karpiński
    : The co-creator of one of the first machine learning algorithms for character and image recognition.
  • Gerald Jay Sussman
    : The creator of artificial intelligence based CAD technology, the contributor to AI research like Debugging Almost-Right Plans
    and dependency-based backtracking.

Tools

  • Tim Berners-Lee
    : The creator of the first web browser, and the first web server CERN httpd
  • Richard Matthew Stallman
    : The creator of the GNU
    open source operating system, co-creator of the original Emacs
    text-editor also known as "GNUMACS", and the creator of the popular debugging tool GDB (GNU)
  • Marc Andreessen
    : The co-creator of the first widely used modern web browser Mosaic
    popularizing the world wide web.
  • Robert McCool
    : The creator of Apache HTTP Server
  • Butler Lampson
    : The co-creator of the operating system, laser printer software, the first Ethernet and the Bravo WYSIWYG
    text editor for the first personal computer Xerox Alto
    .
  • Charles Thacker
    : The original designer, co-creator of the laser printer software and the first Ethernet for the first personal computer Xerox Alto
    .
  • Doug Cutting
    : The creator of the data search library Lucene
    and co-creator of the highly scalable web crawler Nutch
    .
  • Mike Cafarella
    : The co-creator of the highly scalable web crawler Nutch
    .
  • Jeff Dean
    : The co-creator of the machine learning library Tensorflow
    .
  • Bill Joy
    : The creator of the Unix text editor vi
    , the creator of the C shell
    command-line interpreter, one of the earliest developers of BSD
    and co-creator of NFS
    Version 2.
  • Lars Bak
    : The creator of Javascript engine V8
    .
  • Matei Zaharia
    : The creator of the cluster computing framework Spark
    and the cluster management system Mesos
    .
  • Jason van Zyl: The creator of Maven
    build automation tool for JVM environments
  • James Duncan Davidson
    : The creator of the Tomcat
    Java HTTP web server
  • Alexander Stepanov
    : The primary designer and implementer of the C++ Standard Template Library
    and helped formalize concepts of generic programming
    .
  • Stephen R. Bourne
    : The creator of the influential command-line interpreter Bourne Shell
    .
  • Nathan Marz: The creator of the distributed stream processing framework Storm
    .
  • Ryan Dahl: The creator of the Node.js
    Javascript runtime interpreter
  • Solomon Hykes: The creator of Docker
    , the system virtualization tool
  • Erich Gamma
    : The co-creator of popular code testing framework for Java JUnit
    .
  • Kent Beck
    : The co-creator of SUnit
    unit testing framework for Smalltalk, and co-creator of popular code testing framework for Java JUnit
    .
  • Ward Cunningham
    : The creator of the wiki
    , the first web content-collaboration tool.
  • Igor Sysoev
    : The creator of popular web server Nginx
    .
  • Jamie Zawinski
    : One of the original developers of the Mozilla
    browser and open-source community, and one of the early developers of the Netscape Navigator browser
    .
  • Daniel J. Bernstein
    : The creator of a mail transfer agent qmail
    with an emphasis on security, and the creator of the highly secure DNS server djbdns
    .
  • Michael Burrows
    : The co-creator of the lock service for distributed systems Chubby
    .
  • Robby Russell: The creator of popular shell frameworkoh-my-zsh.
  • Cheng Zhao: The creator of the popular desktop application development environmentelectron.
  • Michael DeHaan: The creator of the computer automation, configuration management tool Ansible
    .
  • David Cournapeau: The creator of the machine learning library for python Scikit-learn
    .
  • Max Howell: The creator of the package management system for macOS homebrew
    .
  • Mitchell Hashimoto: The creator of the virtual environment build toolVagrant.
  • Jose Valim: The co-creator of the authentication plugin for RailsDevise.
  • Yangqing Jia: The creator of the deep learning frameworkCaffe.
  • Jon Skeet: The co-creator of the popular data serializing tool Protocol Buffers
    .
  • Brendan Burns: The co-creator of container cluster management system Kubernetes
    , inspired by the Google Borg project.
  • Joe Beda: The co-creator of container cluster management system Kubernetes
    , inspired by the Google Borg project.
  • Jonas Bonér: The creator of concurrent and distributed application toolkit on the JVM Akka
    .
  • Jay Kreps: The creator of the high-throughput message broker Kafka
    .
  • Jun Rao: The creator of the high-throughput message broker Kafka
    .
  • Neha Narkhede: The creator of the high-throughput message broker Kafka
    .
  • Ben Reed
    : The distributed key-value store primarily used as Hadoop’s configuration and synchronization service Zookeeper
    .
  • Lars Rasmussen
    : The co-creator of the original system for Google Maps
    .
  • Jack Dongarra
    : The co-creator of linear algebra tool BLAS (Basic Linear Algebra Subprograms)
    , the co-creator of the parallel computing message system MPI (message passing interface)
    , the creator of ranking system for powerful computers TOP500
    and co-creator of linear algebra library ATLAS
    .
  • Travis Oliphant
    : The creator of NumPy
    , a package for numerical computing in Python.

Operating Systems

  • Dennis Ritchie
    : The co-creator of the Unix
    operating system family that inspired the architecture of many modern operating systems like Linux.
  • Ken Thompson
    : The co-creator of the Unix
    operating system family and one of the original developers for the Plan 9
    operating system.
  • Rob Pike
    : The co-creator of Plan 9
    operating system and the Inferno
    operating system.
  • Linus Torvalds
    : The creator of the Linux Operating System Kernel
    and the Git
    distributed version control system.
  • Brian Kernighan
    : One of the original developers of the Unix
    operating system family, often credited to coin the name.
  • Dave Cutler
    : The co-creator of Windows NT
    operating system family which it’s kernel is still the foundation of the modern Microsoft operating system.
  • Ian Murdock
    : The creator of one of the most popular Linux operating system distribution Debian
    .
  • Douglas McIlroy
    : The creator of Unix / Linux feature Pipeline
    that chains a sequence of process together with a pipe character, the creator of Unix based data comparison tool diff utility
    , and the creator of the Unix based listing command sort
    .
  • Russ Cox: The core developer of the Plan 9
    operating system, and the core developer of the Go
    programming language.

Development Frameworks

  • David Heinemeier Hansson
    : The creator of Ruby on Rails
    , the web application framework
  • Jordan Walke: The original author of React
    Javascript framework.
  • Adrian Holovaty
    : The co-creator of the Django
    web framework.
  • Simon Willison
    : The co-creator of the Django
    web framework.
  • Mark Otto: The co-creator of the front-end web framework Twitter Bootstrap
    .
  • Jacob Thornton: The co-creator of the front-end web framework Twitter Bootstrap
    .
  • Mike Bostock
    : The creator of the D3
    Javascript library
  • John Resig
    : The creator of the Jquery
    Javascript Library
  • Miško Hevery: The creator of the Javascript web application framework AngularJS
    .
  • Erik Meijer
    : The creator of the asynchronous programming frameworkReactive extensions.
  • Ben Christensen: The creator of the asynchronous programming frameworkRxJava.
  • Armin Ronacher: The creator of the micro web application framework for python Flask
    .
  • Geoff Schmidt: The co-creator of popular Javascript application development environmentmeteor.
  • Guillermo Rauch: The creator of the real-time Javascript application framework Socket.io
    .
  • Guillaume Bort: The creator of the web application framework for Scala and Java Play
    .
  • Taylor Otwell: The creator of the PHP web application framework Laravel
    .
  • Yehuda Katz: The co-creator of the Javascript application development framework Ember.js
    , the creator of Javascript templating tool handlebars
    , the co-creator of package management system for rubybundler, and once a member of core development teams for "Jquery" and "Ruby on Rails".

Programming Languages

  • Dennis Ritchie
    : The creator of the C
    programming language, one of the most influential languages of all time.
  • Ken Thompson
    : The co-creator of the Go
    programming language and sole creator of the B
    programming language, the direct predecessor of the C programming language.
  • Alan J. Perlis
    : The co-creator ALGOL
    programming language andhelped standardize education of computer science and programming language design.
  • John McCarthy
    : The original developer of the Lisp
    programming language family, and significantly influenced the design of the ALGOL
    programming language.
  • Donald E. Knuth
    : The creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, LR(k) grammars, and attribute grammars.
  • Brian Kernighan
    : The creator of the Unix text processing language AWK
    and the math computing language AMPL
  • Chris Lattner
    : The creator of the LLVM
    compiler infrastructure, the Clang
    front-end compiler and the Swift
    programming language.
  • Kristen Nygaard
    : The co-inventor of Simula
    which introduced the formal concept of object-oriented programming
    paradigm.
  • Ole-Johan Dahl
    : The co-inventor of Simula
    which introduced the formal concept of object-oriented programming
    paradigm.
  • Alain Colmerauer
    : The creator of Prolog
    and one of the main founders of Constraint logic programming
  • James Gosling
    : The creator of the Oak
    programming language which later became Java
  • Niklaus Wirth
    : The creator of several important programming languages including Euler
    , Algol W
    , and the Pascal
    procedural programming language.
  • Konrad Zuse
    : The creator of the first high-level programming language Plankalkül
    originally created for his original and world’s first programmable computer, the Z3
    .
  • Bjarne Stroustrup
    : The creator of C++
    , one of the most popular programming languages of all time.
  • Larry Wall
    : The creator of the Perl
    dynamic programming language popularized by its unsurpassed regular expression and string parsing abilities.
  • Don Syme
    : The creator of the F#
    programming language, and the creator of generics in .NET
    framework.
  • Anders Hejlsberg
    : One of the original authors of C#
    , Delphi
    Pascal dialet programming toolkit and the Typescript
    Javascript superset language.
  • Joe Armstrong: The creator of the Erlang
    functional programming language known for being well suited for systems that are distributed, fault tolerant, and concurrent.
  • Rob Pike
    : The co-creator of the Go
    programming language.
  • Alan Cooper
    : The creator of Visual Basic
    , a user-friendly programming language for Microsoft applications.
  • John G. Kemeny
    : The co-creator of the Basic
    Programming Language.
  • Thomas E. Kurtz
    : The co-creator of the Basic
    Programming Language.
  • Brad Cox
    : The co-creator of Objective-C
    Programming Language
  • Tom Love: The co-creator of Objective-C
    Programming Language
  • Brendan Eich
    : The creator of Javascript
    Programming Language
  • Guido van Rossum
    : The creator of the Python
    programming language.
  • Erik Meijer
    : The co-creator of the specifications for Haskell
    programming language.
  • Kevin Hammond
    : The co-creator of the specifications for Haskell
    programming language, and the co-creator of GHC (Glasgow Haskell Compiler)
    .
  • Simon Peyton Jones
    : The co-creator of the specifications for Haskell
    programming language, and the co-creator of GHC (Glasgow Haskell Compiler)
    .
  • Rich Hickey: The creator of the Clojure
    functional programming language, a modern Lisp
    that compiles for the Java virtual machine
    .
  • Jean Ichbiah
    : The creator of Ada
    , an object oriented programming language.
  • Kenneth E. Iverson
    : The creator of APL
    that lead innovations in array programming
    and contributing to the development of the functional programming paradigm.
  • Yukihiro Matsumoto
    : The creator of the Ruby
    object-oriented programming language.
  • Bertrand Meyer
    : The creator of the Eiffel
    programming language, one of the first object oriented languages and creator of Design by contract
    .
  • Rasmus Lerdorf
    : The creator of the server-side scripting language PHP
    primarily used for web development.
  • Martin Odersky
    : The creator of the Scala
    functional / object-oriented programming language for the Java virtual machine
    .
  • Xavier Leroy
    : The co-creator of the OCaml
    programming language that has functional and object oriented properties to its design.
  • Graydon Hoare: The original creator of the Rust
    low-level systems programming language.
  • Jeremy Ashkenas: The creator of the Javascript transcompiled programming language CoffeeScript
    .
  • Jose Valim: The creator of the functional concurrent programming language Elixir
    built on top of BEAM Erlang virtual machine.
  • Lars Bak
    : The creator of the Dart
    programming language that transcompiles into Javascript.
  • Jeff Bezanson
    : The co-creator of the Julia
    dynamic programming language designed for high performance scientific computing.
  • Stefan Karpinski
    : The co-creator of the Julia
    dynamic programming language designed for high performance scientific computing.
  • Ary Borenszweig: The co-creator of the statically type, object oriented programming language Crystal
    inspired by Ruby’s syntax and C’s compilation.
  • Juan Wajnerman: The co-creator of the statically type, object oriented programming language Crystal
    inspired by Ruby’s syntax and C’s compilation.
  • Andrey Breslav: The co-creator of the JVM run, statically typed programming language Kotlin
    .
  • Slava Pestov: The creator of stack-oriented
    programming language Factor
    and a member of the core team for Swift
    .
  • Arthur Whitney
    : The creator of the programming language A+
    and the creator of the programming language K
    .

Theory

  • Edsger W. Dijkstra
    : Led the Structured Programming
    movement helping set standards for quality software development and eliminating harmful practices like the GOTO
    statement. He also introduced the concepts of "recursion" and "stack" with the creation of ALGOL 60 compiler.
  • Alan Kay
    : He helped pioneer the idea of object-oriented programming and helped create the Smalltalk language originally used for graphical interfaces.
  • Maurice Wilkes
    : The designer of EDSAC, the first computer with an internally stored program. Also helped define concepts like microprogramming, symbolic labels and macros.
  • Tony Hoare
    : The author of influential paper "An axiomatic basis for computer programming", and the creator of the influential language Communicating sequential processes
    for describing patterns of interaction in concurrent systems.
  • Allen Newell
    : Along with Herbert Simon, he helped create Information Processing Language (IPL) which introduced the concept of list processing and often cited as the first functional programming language.
  • Herbert A. Simon
    : Along with Allen Newell, he helped create Information Processing Language and the Heuristic Compiler, the first system with capabilities for automatic programming.
  • Ivan Sutherland
    : The first to define the notion of "objects" and "instances" during the development of Sketchpad
    .
  • Peter Naur
    : The co-creator of the influential programming language Algol 60
    introducing nested function with lexical scope, and the co-creator of the Backus-Naur form
    one of the main notation techniques for context free grammars
    used to describe syntax of programming languages.
  • Jean-Yves Girard
    : One of the discoverers of System F
    , the polymorphic lambda calculus that forms the theoretical basis for Haskell and ML.
  • John C. Reynolds
    : One of the discoverers of System F
    , the polymorphic lambda calculus that forms the theoretical basis for Haskell and ML.
  • Barbara Liskov
    : The co-creator of the important object-oriented subtyping definition Liskov substitution principle
    and the co-creator of CLU
    programming language that introduced key features like abstract data types, iterators and use of classes with constructors.
  • Robin Milner
    : The creator of ML
    functional programming language, the first language to use a polymorphic type inference alongside type-safe exception handling, and the creator of concurrency theory CCS (Calculus of communicating systems)
    .
  • Dana Scott
    : The co-creator of Denotational semantics or Scott–Strachey semantics
    formalizing the definitions of programming languages by creating mathematical denotations describing expressions from the language.
  • Noam Chomsky
    : The creator of the Chomsky hierarchy
    , a containment heirarchy for classes of formal grammars.
  • Seymour Ginsburg
    : The creator of the Abstract family of languages Theory
    , and proved languages like ALGOL are context-free.

Compilers

  • Grace Hopper
    : The inventor of the A-0 System
    , often considered as the first compiler
    but functioned as a loader
    for Assembly
    resulting to the development of higher level programming languages like COBOL
    .
  • John Backus
    : The co-creator of the first high-level compiled programming language FORTRAN
    and its compiler, often credited as being the first optimizing compiler
    and fully complete compiler.
  • Frances E. Allen
    : The author of the paper "Program Optimization" that laid the basis for systematic analysis of computer programs, the author of "Control Flow Analysis" that uses intervals to analyze data flow, and the co-author of the paper "A Catalog of Optimizing Transformations" which is one of the main analysis strategies used in optimizing compilers.
  • Richard Matthew Stallman
    : The creator of the GCC (GNU Compiler Collection)
    system which has been adopted as the standard compiler system by many operating systems.
  • Nathaniel Rochester
    : The creator of the first assembler
    , translating assembly code into byte code for the first mass-produced computer that he also created, the IBM 701
    .
  • Lois Haibt
    : The co-creator of the first high-level compiled programming language FORTRAN
    and its compiler.
  • Alon Zakai: The creator ofemscripten, the LLVM to Javascript compiler.

Computer Graphics

Computer Architecture / Theory

  • Alan Turing
    : The creator of the Turing machine
    also known as the "automatic machine" because of its ability to automate sets of mathematical operations at a time when computing process was all handled by humans. This important discovery led to the fundamental principles of modern computing directly inspiring most digital systems including the Von Neumann architecture.
  • Kurt Gödel
    : The creator of Gödel’s incompleteness theorems
    often considered to be the foundation of theoretical computer science and inspiration to Turing and Church, the creator of universal formal languages and the limits of proof and computation, and the creator of the proof for axiomatized arithmetic to not be both logically consistent
    and complete in first-order predicate calculus.
  • Charles Babbage
    : The creator of the concept for a programmable general-purpose computer with the design of the Analytical Engine
    and the creator for a prototype for a less powerful mechanical calculator
    .
  • Edsger W. Dijkstra
    : The first to publish papers in the field of concurrent programming
    and distributed programming
    while discovering concepts like mutual exclusion
    and the semaphore
    .
  • John von Neumann
    : He created the universally important von Neumann architecture
    that describes the design for a digital computer that continues to be the basis of modern computers with breakthrough concepts like shared address space for memory. He also started the field of cellular automata
    and is considered to be the creator of the first computer virus
    while studying self-replicating programs.
  • Leslie Lamport
    : The creator of the industry standard Sequential consistency
    memory model, the creator of "Atomic and regular registers" that helps solve semantic problems when multiple resources interact to shared data, the creator of of distributed computing paradigm State machine replication
    for building fault-tolerance by coordinating commands across replicated servers, and the co-discoverer of the Byzantine fault tolerance
    failure definitions.
  • Alonzo Church
    : The creator of mathematical logic system and computation model to simulate single-taped Turing machines called Lambda Calculus
    , and the co-creator of the Church–Turing thesis
    formalizing the definitions of computable functions.
  • Claude Shannon
    : The author of seminal paper "A Mathematical Theory of Communication" which essentially founded the field of information theory and entropy, the creator of error-correcting schemes for communication channel bandwidth.
  • Ada Lovelace
    : The creator of mathematical operations for Charles Babbage’s mechanical machines now recognized as being one of the first algorithms for a machine so is now considered to be one of the first computer programmers.
  • J. C. R. Licklider
    : The creator of concepts for modern-style interactive computing, and an early researcher at Arpanet for concepts of a connected network like the internet.
  • Stephen Cole Kleene
    : The creator of Regular expression
    pattern matching mechanism, and the creator of mathematical logic branch recursion theory
  • John McCarthy
    : Developed the concept of time-sharing
    for computers with multiprogramming.
  • John Cocke
    : The creator of the Reduced Instruction Set Computing (RISC)
    architecture that optimized the basic set of computer instructions appropriately for the compiler to produce a high performance pipelined processor.
  • Fernando J. Corbató
    : The co-author of a paper that describes one of the earliest time-sharing
    computer systems CTSS (compatible time-sharing system)
    and the original creator of the influential time-sharing operating system Multics
    which pioneered many concepts widely adopted by almost all operating systems like Unix.
  • Per Brinch Hansen
    : The creator of the RC 4000 multiprogramming system
    introducing the concept of operating system kernels and microkernel architectures with the separation of policy and mechanism, the co-createor of the synchronization construct for threads with mutex and blocking ability known as the monitor
    , the first to implement a remote procedure call, and the creator of the "Distributed Processes" language for distributed systems using RPC for external requests.
  • Gerard Salton
    : The creator of vector space model
    for information retrievel.
  • Sophie Wilson
    : The co-creator of the Acorn RISC Machine (ARM) architecture
    , the most widely used model for modern smartphones, and the creator of the BBC Basic
    language for the acorn systems.
  • Tommy Flowers
    : The creator of the Colossus computer
    , the first programmable digital computing systems.
  • Fred Brooks
    : The co-creator of the System 360
    computer that introduced 8-bit byte addressing and first to emphasize the distinction of "system architecture" and implementation.
  • George Boole
    : The creator of Boolean Algebra
    mathematical logic which has inspired the basis of logic gates
    and computer science.
  • Michael O. Rabin
    : The co-creator of the Nondeterministic finite automaton
    a kind of state machine that has several possible transitions out of each state.
  • Dana Scott
    : The co-creator of the Nondeterministic finite automaton
    a kind of state machine that has several possible transitions out of each state.
  • Margaret Hamilton
    : The creator of important concepts in asynchronous systems, priority scheduling, and end-to-end testing.
  • Herman Hollerith
    : The creator of the punch-card
    Tabulating machine
    sparking the era of automatic data processing systems.
  • Joseph Marie Jacquard
    : The creator of Jacquard loom
    one of the first punch card controlled programmable mechanized loom.
  • Nikolay Brusentsov
    : The creator of a computer using ternary logic
    called the Seturn
    .
  • Vannevar Bush
    : The creator of what influenced hypertext, Memex
    , originally conceived to store compressed information.
  • Paul Baran
    : The co-creator of the packet switched computer network for an early prototype of internet technology at ARPANET.
  • Jean Bartik
    : The co-developer of early "stored program" computers and considered to be one of the first computer programmers, using the ENIAC, a vacuum tube computer during a time when "programming" meant using cables, dials, and switches to physically rewire the machine.
  • Kent Beck
    : The co-creator of software development methodology extreme programming
    to improve overall software quality, the co-founder of the "Agile Manifesto" and the agile software development paradigm, and credited to be the founder of Test-driven development
    .
  • Ward Cunningham
    : The co-creator of software development methodology extreme programming
    to improve overall software quality.
  • Dave Thomas
    : The co-founder of the "Agile Manifesto" and coined the phrases "DRY" Don’t repeat yourself
    which emphasizes to reduce the repetition of code or data in software.
  • Richard Hamming
    : Defined numerical methods, automatic coding systems, and error-detecting and error-correcting codes
  • Nathan Marz: The author of the data-processing Lambda architecture
    designed to use stream-processing or batch processing to handle data at a large scale.
  • Eric Brewer
    : The original writer of the CAP theorem
    stating that a distributed computer system cannot simultaneously provide the guarantees Consistency, Availability and Partition Tolerance.

Protocols / Standards

Analysis / Verification

Books

Miscellaneous

分享到:更多 ()

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址