Men design and build 88% of computers, software, and instructions for women to use.
Claim by Transnoodle: "Women pioneered
computer programming. Then men took their industry over."
https://timeline.com/women-pioneered-computer-programming-then-men-took-their-industry-over-c2959b822523
Men design and build 88% of computers, software, and instructions for women to
use.
524 (88%) of 594 are men and 70 (12%) are women.
| First | Middle | Last | Sex | Years | Description | M/F* |
| Wil | van der Aalst | M | business process management, process mining, Petri nets | |||
| Scott | Aaronson | M | quantum computing and complexity theory | |||
| Hal | Abelson | M | intersection of computing and teaching | |||
| Serge | Abiteboul | M | database theory | |||
| Ajith | Abraham | M | artificial intelligence | |||
| Samson | Abramsky | M | game semantics | |||
| Leonard | Adleman | M | RSA, DNA computing | |||
| Manindra | Agrawal | M | polynomial-time primality testing | |||
| Luis | von Ahn | M | human-based computation | |||
| Alfred | Aho | M | compilers book, the 'a' in AWK | |||
| Frances | E. | Allen | F | compiler optimization | ||
| Gene | Amdahl | M | supercomputer developer, founder of Amdahl Corporation | |||
| David | P. | Anderson | M | volunteer computing | ||
| Lisa | Anthony | F | natural user interfaces | |||
| Andrew | Appel | M | compiler of text books | |||
| Cecilia | R. | Aragon | F | inventor of the treap, human-centered data science | ||
| Bruce | Arden | M | , | programming language compilers (GAT, MAD), virtual memory architecture, MTS | ||
| Sanjeev | Arora | M | PCP theorem | |||
| Winifred | "Tim" | Alice Asprey | F | established the computer science curriculum at Vassar College | ||
| John | Vincent Atanasoff | M | computer pioneer, creator of ABC or Atanasoff Berry Computer | |||
| Charles | Babbage | M | (1791-1871) | invented first mechanical computer called the supreme mathematician | ||
| Charles | Bachman | M | American computer scientist, known for Integrated Data Store | |||
| Roland | Carl Backhouse | M | mathematics of program construction | |||
| John | Backus | M | Naur form, first complete compiler | |||
| David | F. | Bacon | M | programming languages, garbage collection | ||
| David | A. | Bader | M | |||
| Victor | Bahl | M | ||||
| Anthony | James Barr | M | SAS System | |||
| Jean | Bartik | F | (1924-2011) | one of the first computer programmers, on ENIAC (1946), one of the first Vacuum tube computers, back when "programming" involved using cables, dials, and switches to physically rewire machine; with John Mauchly BINAC 1949 EDUAC | ||
| Andrew | Barto | M | ||||
| Rudolf | Bayer | M | B-tree | |||
| Gordon | Bell | M | (born 1934) | computer designer DEC VAX, author: Computer Structures | ||
| Steven | M. | Bellovin | M | network security | ||
| Tim | Berners-Lee | M | World Wide Web | |||
| Daniel | J. | Bernstein | M | qmail, software as protected speech | ||
| Peter | Bernus | M | ||||
| Abhay | Bhushan | M | ||||
| Dines | Bjørner | M | Vienna Development Method (VDM), RAISE | |||
| Gerrit | Blaauw | M | one of the principal designers of the IBM System 360 line of computers | |||
| Sue | Black | F | ||||
| David | Blei | M | ||||
| Dorothy | Blum | F | National Security Agency | |||
| Lenore | Blum | F | complexity | |||
| Manuel | Blum | M | cryptography | |||
| Barry | Boehm | M | software engineering economics, spiral development | |||
| Corrado | Böhm | M | author of the structured program theorem | |||
| Kurt | Bollacker | M | ||||
| Jeff | Bonwick | M | inventor of slab allocation and ZFS | |||
| Grady | Booch | M | Unified Modeling Language, Object Management Group | |||
| George | Boole | M | Boolean logic | |||
| Andrew | Booth | M | developed the first rotating drum storage device | |||
| Kathleen | Booth | F | developed the first assembly language | |||
| Anita | Borg | F | (1949-2003) | American computer scientist, founder of Anita Borg Institute for Women and Technology | ||
| Bert | Bos | M | Cascading Style Sheets | |||
| Mikhail | Botvinnik | M | World Chess Champion, computer scientist and electrical engineer, pioneer of early expert system AI,inventor of Computer chess | |||
| Jonathan | Bowen | M | Z notation, formal methods | |||
| Stephen | R. | Bourne | M | Bourne shell, portable ALGOL 68C compiler | ||
| Harry | Bouwman | M | (born 1953) | Dutch Information systems researcher, and Professor at the Åbo Akademi University | ||
| Robert | S. | Boyer | M | string searching, ACL2 theorem prover | ||
| Karlheinz | Brandenburg | M | Main mp3 contributor | |||
| Jack | E. | Bresenham | M | early computer-graphics contributions, including Bresenham's algorithm | ||
| Sergey | Brin | M | co-founder of Google | |||
| David | J. | Brown | M | unified memory architecture, binary compatibility | ||
| Per | Brinch Hansen | M | concurrency (surname "Brinch Ha | |||
| Sjaak | Brinkkemper | M | methodology of product software development | |||
| Fred | Brooks | M | System 360, OS/360, The Mythical Man-Month, No Silver Bullet | |||
| Rod | Brooks | M | ||||
| Michael | Butler | M | Event-B | |||
| Tracy | Camp | F | wireless computing | X | ||
| Martin | Campbell-Kelly | M | history of computing | |||
| Rosemary | Candlin | F | ||||
| Bryan | Cantrill | M | inventor of DTrace | |||
| Luca | Cardelli | M | ||||
| John | Carmack | M | Developer of DOOM | |||
| Edwin | Catmull | M | computer graphics | |||
| Vinton | Cerf | M | Internet, TCP/IP | X | ||
| Gregory | Chaitin | M | ||||
| Zhou | Chaochen | M | duration calculus | |||
| Peter | Chen | M | entity-relationship model, data modeling, conceptual model | |||
| Leonardo | Chiariglione | M | founder of MPEG | X | ||
| Tracy | Chou | F | computer scientist and activist | X | ||
| Alonzo | Church | M | mathematics of combinators, lambda calculus | |||
| Alberto | Ciaramella | M | speech recognition, patent informatics | |||
| Edmund | M. | Clarke | M | model checking | ||
| John | Cocke | M | RISC | |||
| Edgar | F. | Codd | M | (1923-2003) | formulated the database relational model | |
| Jacques | Cohen | M | computer science professor | |||
| Simon | Colton | M | computational creativity | |||
| Alain | Colmerauer | M | Prolog | |||
| Paul | Justin Compton | M | Ripple Down Rules | |||
| Gordon | Cormack | M | co-inventor of dynamic Markov compression | |||
| Stephen | Cook | M | NP-completeness | |||
| James | Cooley | M | Fast Fourier transform (FFT) | |||
| Danese | Cooper | F | open-source software | |||
| Fernando | J. | Corbató | M | Compatible Time-Sharing System (CTSS), Multics | ||
| Kit | Cosper | M | open-source software | X | ||
| Patrick | Cousot | M | abstract interpretation | |||
| Ingemar | Cox | M | digital watermarking | |||
| Seymour | Cray | M | Cray Research, supercomputer | |||
| Nello | Cristianini | M | machine learning, pattern analysis, artificial intelligence | |||
| Jon | Crowcroft | M | networking | |||
| W. | Bruce | Croft | M | |||
| Glen | Culler | M | interactive computing, computer graphics, high performance computing | X | ||
| Haskell | Curry | M | ||||
| Luigi | Dadda | M | designer of the Dadda multiplier | |||
| Ole-Johan | Dahl | M | Simula | |||
| Ryan | Dahl | M | founder of node.js project | |||
| Andries | van Dam | M | computer graphics, hypertext | |||
| Samir | Das | M | Wireless Networks, Mobile Computing, Vehicular ad hoc network, Sensor Networks, Mesh networking, Wireless ad hoc network | |||
| Christopher | J. | Date | M | proponent of database relational model | ||
| Jeff | Dean | M | Bigtable, MapReduce, Spanner of Google | |||
| Erik | Demaine | M | computational origami | |||
| Tom | DeMarco | M | ||||
| Richard | DeMillo | M | computer security, software engineering, educational technology | |||
| Dorothy | E. | Denning | F | computer security | ||
| Peter | J. | Denning | M | identified the use of an operating system's working set and balance set, President of ACM | ||
| Michael | Dertouzos | M | Director of Massachusetts Institute of Technology (MIT) Laboratory for Computer Science (LCS) from 1974 to 2001 | |||
| Alexander | Dewdney | M | ||||
| Vinod | Dham | M | P5 Pentium processor | X | ||
| Jan | Dietz | F | (born 1945) | information systems theory and Design & Engineering Methodology for Organizations | ||
| Whitfield | Diffie | M | (born 1944) | Hellman key exchange | ||
| Edsger | Dijkstra | M | algorithms, Goto considered harmful, semaphore (programming) | |||
| Matthew | Dillon | M | DragonFly BSD with LWKT, vkernel OS-level virtualisation, HAMMER1 and HAMMER2 filesystems | |||
| Alan | Dix | M | computer interaction | |||
| Jack | Dongarra | M | linear algebra high performance computing (HCI) | |||
| Marco | Dorigo | M | ant colony optimization | |||
| Paul | Dourish | M | human computer interaction | |||
| Charles | Stark Draper | M | (1901-1987) | designer of Apollo Guidance Computer, "father of inertial navigation", MIT professor | ||
| Susan | Dumais | F | information retrieval | |||
| Jon | Michael Dunn | M | founding dean of Indiana University School of Informatics, information based logics especially relevance logic | |||
| Schahram | Dustdar | M | Distributed Systems, TU Wien, Austria | |||
| Peter | Eades | M | graph drawing | |||
| Annie | J. | Easley | F | |||
| Wim | Ebbinkhuijsen | M | COBOL | |||
| John | Presper Eckert | M | ENIAC | |||
| Brendan | Eich | M | JavaScript, Mozilla | |||
| Philip | Emeagwali | M | supercomputing | |||
| E. | Allen Emerson | M | model checking | |||
| Douglas | Engelbart | M | tiled windows, hypertext, computer mouse | |||
| David | Eppstein | M | ||||
| Andrey | Ershov | M | ||||
| Don | Estridge | M | (1937-1985) | led development of original IBM Personal Computer (PC); known as "father of the IBM PC" | ||
| Oren | Etzioni | M | MetaCrawler, Netbot | |||
| Christopher | Riche Evans | M | ||||
| David | C. | Evans | M | computer graphics | ||
| Shimon | Even | M | ||||
| Scott | Fahlman | M | ||||
| Edward | Feigenbaum | M | intelligence | |||
| Edward | Felten | M | computer security | |||
| Tim | Finin | M | ||||
| Raphael | Finkel | F | ||||
| Donald | Firesmith | M | ||||
| Gary | William Flake | M | ||||
| Tommy | Flowers | M | Colossus computer | |||
| Robert | Floyd | M | NP-completeness | |||
| Sally | Floyd | F | Internet congestion control | |||
| Lawrence | J. | Fogel | M | Evolutionary programming | ||
| James | D. | Foley | M | |||
| Ken | Forbus | M | ||||
| L. | R. | Ford, Jr. | M | X | ||
| Lance | Fortnow | M | ||||
| Martin | Fowler | M | ||||
| Herbert | W. | Franke | M | |||
| Edward | Fredkin | M | ||||
| Yoav | Freund | M | ||||
| Daniel | P. | Friedman | M | |||
| Ping | Fu | F | X | |||
| D. R. | Fulkerson | M | ||||
| Richard | Gabriel | M | ||||
| Zvi | Galil | M | X | |||
| Bernard | Galler | M | MAD (programming language) | |||
| Hector | Garcia-Molina | M | ||||
| Michael | Garey | M | NP-completeness | |||
| Hugo | de Garis | M | ||||
| Bill | Gates | M | co-founder of Microsoft | |||
| David | Gelernter | M | ||||
| Lisa | Gelobter | F | and US Educaction CIO | |||
| Charles | Geschke | M | ||||
| Zoubin | Ghahramani | M | ||||
| Sanjay | Ghemawat | M | ||||
| Juan | E. | Gilbert | M | human-centered computing | ||
| Lee | Giles | M | CiteSeer | X | ||
| Seymour | Ginsburg | M | formal languages, automata theory, AFL theory, database theory | |||
| Robert | L. | Glass | M | |||
| Kurt | Gödel | M | not a computer scientist per se, but his work was invaluable in the field | |||
| Joseph | Goguen | M | ||||
| E. | Mark Gold | M | Language identification in the limit | |||
| Adele | Goldberg | F | Smalltalk | |||
| Andrew | V. | Goldberg | M | algorithms, algorithm engineering | ||
| Ian | Goldberg | M | cryptographer, off-the-record messaging | |||
| Oded | Goldreich | M | cryptography, computational complexity theory | |||
| Shafi | Goldwasser | F | cryptography, computational complexity theory | |||
| Gene | Golub | M | Matrix computation | |||
| Martin | Charles | Golumbic | M | algorithmic graph theory | ||
| Gastón | Gonnet | M | co-founder of Waterloo Maple Inc. | |||
| James | Gosling | M | NeWS, Java | |||
| V. K. | Govindan | M | X | |||
| Paul | Graham | M | Viaweb, On Lisp, Arc | |||
| Robert | M. | Graham | M | programming language compilers (GAT, MAD), virtual memory architecture, Multics | ||
| Susan | L. | Graham | F | compilers, programming environments | ||
| Jim | Gray | M | database | |||
| Sheila | Greibach | F | Greibach normal form, AFL theory | |||
| Ralph | Griswold | M | SNOBOL | |||
| Bill | Gropp | M | Message Passing Interface, PETSc | |||
| Tom | Gruber | M | Ontology engineering | |||
| Shelia | Guberman | F | Handwriting recognition | |||
| Ramanathan | V. | Guha | M | RDF, Netscape, RSS, Epinions | ||
| Neil | J. | Gunther | M | computer performance analysis, capacity planning | ||
| Peter | G. | Gyarmati | M | adaptivity in operating systems and networking | ||
| Philipp | Matthäus Hahn | M | mechanical calculator | |||
| Eldon | C. | Hall | M | Apollo Guidance Computer | ||
| Wendy | Hall | F | ||||
| Joseph | Halpern | M | ||||
| Margaret | Hamilton | F | ultra-reliable software design | |||
| Richard | Hamming | M | Hamming code, founder of the Association for Computing Machinery | |||
| Jiawei | Han | M | data mining | |||
| Frank | Harary | M | graph theory | |||
| Juris | Hartmanis | M | computational complexity theory | |||
| Johan | Håstad | M | computational complexity theory | |||
| Les | Hatton | M | software failure and vulnerabilities | |||
| Igor | Hawryszkiewycz | M | (born 1948) | American computer scientist and organizational theorist | ||
| He | Jifeng | M | provably correct systems | |||
| Eric | Hehner | M | predicative programming, formal methods, quote notation | |||
| Martin | Hellman | M | encryption | |||
| Gernot | Heiser | M | development of L4 and founder of OK Labs | |||
| James | Hendler | M | Semantic Web | |||
| John | L. | Hennessy | M | computer architecture | ||
| Andrew | Herbert | M | ||||
| Carl | Hewitt | M | ||||
| Danny | Hillis | M | Connection Machine | |||
| Geoffrey | Hinton | M | ||||
| Julia | Hirschberg | F | ||||
| Tin | Kam Ho | F | artificial intelligence, machine learning | |||
| C. | A. R. | Hoare | M | logic, rigor, communicating sequential processes (CSP) | ||
| Betty | Holberton | F | ENIAC programmer, developed the first Sort Merge Generator | |||
| John | Henry Holland | M | genetic algorithms | |||
| Herman | Hollerith | M | (1860-1929) | invented recording of data on a machine readable medium, using punched cards | ||
| Gerard | Holzmann | M | software verification, logic model checking (SPIN) | |||
| John | Hopcroft | M | compilers | |||
| Grace | al Grace Hopper | F | (1906-1992) | developed early compilers: FLOW-Matic, COBOL; worked on UNIVAC; gave speeches on computer history, where she gave out nano-seconds | ||
| Eric | Horvitz | M | artificial intelligence | |||
| Alston | Householder | M | ||||
| Paul | Hudak | M | (1952-2015) | Haskell programming language design | ||
| David | A. | Huffman | M | (1925-1999) | Huffman coding, used in data compression | |
| John | Hughes | M | structuring computations with arrows; QuickCheck randomized program testing framework; Haskell programming language design | |||
| Watts | Humphrey | M | (1927-2010) | Personal Software Process (PSP), Software quality, Team Software Process (TSP) | ||
| Jean | Ichbiah | F | Ada | |||
| Dan | Ingalls | M | Smalltalk, BitBlt, Lively Kernel | |||
| Mary | Jane Irwin | F | ||||
| Kenneth | E. | Iverson | M | APL, J | ||
| Ivar | Jacobson | M | Unified Modeling Language, Object Management Group | |||
| Anil | K. | Jain | M | (born 1948) | X | |
| Ramesh | Jain | M | ||||
| Jonathan | James | M | ||||
| David | S. | Johnson | M | |||
| Stephen | C. | Johnson | M | |||
| Cliff | Jones | M | Vienna Development Method (VDM) | |||
| Michael | I. | Jordan | M | |||
| Mathai | Joseph | M | ||||
| Aravind | K. | Joshi | M | |||
| Bill | Joy | M | (born 1954) | Sun Microsystems, BSD UNIX, vi, csh | ||
| Dan | Jurafsky | M | natural language processing | |||
| William | Kahan | M | numerical analysis | |||
| Robert | E. | Kahn | M | TCP/IP | ||
| Avinash | Kak | M | digital image processing | X | ||
| Poul-Henning | Kamp | M | inventor of GBDE, FreeBSD Jails, Varnish cache | |||
| David | Karger | M | ||||
| Richard | Karp | M | NP-completeness | |||
| Narendra | Karmarkar | M | Karmarkar's algorithm | |||
| Marek | Karpinski | M | NP optimization problems | |||
| Alan | Kay | M | Dynabook, Smalltalk, overlapping windows | |||
| Neeraj | Kayal | M | AKS primality test | |||
| John | George Kemeny | M | BASIC | |||
| Ken | Kennedy | M | compiling for parallel and vector machines | |||
| Brian | Kernighan | M | (born 1942) | Unix, the 'k' in AWK | ||
| Carl | Kesselman | M | grid computing | |||
| Gregor | Kiczales | M | CLOS, reflection, aspect-oriented programming | |||
| Peter | T. | Kirstein | M | Internet | ||
| Stephen | Cole Kleene | M | Kleene closure, recursion theory | |||
| Dan | Klein | M | Natural language processing, Machine translation | |||
| Leonard | Kleinrock | M | ARPANET, queueing theory, packet switching, hierarchical routing | |||
| Donald | Knuth | M | The Art of Computer Programming, MIX/MMIX, TeX, literate programming | |||
| Andrew | Koenig | M | C++ | |||
| Daphne | Koller | F | Artificial intelligence, bayesian network | |||
| Michael | Kölling | M | BlueJ | |||
| Andrey | Nikolaevich Kolmogorov | M | algorithmic complexity theory | |||
| Janet | L. | Kolodner | F | case-based reasoning | ||
| David | Korn | M | Korn shell | |||
| Kees | Koster | M | ALGOL 68 | |||
| Robert | Kowalski | M | logic programming | |||
| John | Koza | M | genetic programming | |||
| John | Krogstie | M | SEQUAL framework | |||
| Joseph | Kruskal | M | Kruskal's algorithm | |||
| Thomas | E. | Kurtz | M | (born 1928) | BASIC programming language; Dartmouth College computer professor | |
| Richard | E. | Ladner | M | |||
| Monica | S. | Lam | F | |||
| Leslie | Lamport | M | algorithms for distributed computing, LaTeX | X | ||
| Butler | W. | Lampson | M | |||
| Peter | J. | Landin | M | |||
| Tom | Lane | M | ||||
| Börje | Langefors | M | ||||
| Chris | Lattner | M | creator of Swift (programming language) and LLVM compiler infrastructure | X | ||
| Steve | Lawrence | M | ||||
| Edward | D. | Lazowska | M | |||
| Joshua | Lederberg | M | ||||
| Manny | M Lehman | M | ||||
| Charles | E. | Leiserson | M | cache-oblivious algorithms, provably good work-stealing, coauthor of Introduction to Algorithms | ||
| Douglas | Lenat | M | artificial intelligence, Cyc | |||
| Yann | LeCun | M | ||||
| Rasmus | Lerdorf | M | PHP | |||
| Max | Levchin | M | Levchin test and PayPal | X | ||
| Leonid | Levin | M | computational complexity theory | |||
| Kevin | Leyton-Brown | M | artificial intelligence | |||
| J.C.R. | Licklider | M | ||||
| David | Liddle | M | ||||
| John | Lions | M | Lions Book | |||
| Richard | J. | Lipton | M | computational complexity theory | ||
| Barbara | Liskov | F | programming languages | |||
| Darrell | Long | M | computer data storage | |||
| Patricia | D. | Lopez | F | broadening participation in computing | ||
| Gillian | Lovegrove | F | X | |||
| Ada | Lovelace | F | first programmer | |||
| Eugene | Luks | M | ||||
| Nancy | Lynch | F | ||||
| Nadia | Magnenat Thalmann | F | computer graphics, virtual actor | |||
| Tom | Maibaum | M | ||||
| Zohar | Manna | M | fuzzy logic | |||
| James | Martin | M | information engineering | |||
| Robert | C. | Martin | M | software craftsmanship | ||
| John | Mashey | M | ||||
| Yuri | Matiyasevich | M | solving Hilbert's tenth problem | |||
| Yukihiro | Matsumoto | M | Ruby (programming language) | |||
| John | Mauchly | M | (1907-1980) | designed ENIAC, first general-purpose electronic digital computer, as well as EDVAC, BINAC and UNIVAC I, the first commercial computer; worked with Jean Bartik on ENIAC and Grace Murray Hopper on UNIVAC | ||
| Derek | McAuley | M | ubiquitous computing, computer architecture, networking | |||
| John | McCarthy | M | Lisp (programming language), artificial intelligence | |||
| Andrew | McCallum | M | ||||
| Douglas | McIlroy | M | pipes | |||
| Chris | McKinstry | M | artificial intelligence, Mindpixel | X | ||
| Marshall | Kirk McKusick | M | BSD, Berkeley Fast File System | |||
| Lambert | Meertens | M | ALGOL 68, ABC (programming language) | |||
| Bertrand | Meyer | M | Eiffel (programming language) | |||
| Silvio | Micali | M | cryptography | |||
| Robin | Milner | M | ML (programming language) | X | ||
| Jack | Minker | M | database logic | |||
| Marvin | Minsky | M | artificial intelligence, perceptrons, Society of Mind | |||
| Tom | M. | Mitchell | M | |||
| Paul | Mockapetris | M | Domain Name System (DNS) | |||
| Cleve | Moler | M | numerical analysis, MATLAB | |||
| John | P. | Moon | M | inventor, Apple Inc. | ||
| Charles | H. | Moore | M | Forth programming language | ||
| Edward | F. | Moore | M | Moore machine | ||
| Gordon | Moore | M | Moore's law | |||
| J | Strother Moore | M | string searching, ACL2 theorem prover | |||
| Hans | Moravec | M | robotics | |||
| Carroll | Morgan | M | ||||
| Robert | Tappan Morris | M | Morris worm | |||
| Joel | Moses | M | Macsyma | |||
| Rajeev | Motwani | M | randomized algorithm | |||
| Stephen | Muggleton | M | Inductive Logic Programming | |||
| Alan | Mycroft | M | programming languages | |||
| Mihai | Nadin | M | anticipation research | |||
| Makoto | Nagao | M | machine translation, natural language processing, digital library | X | ||
| Frieder | Nake | M | pioneered computer arts | |||
| Bonnie | Nardi | F | human-computer interaction | |||
| Peter | Naur | M | BNF, ALGOL 60 | |||
| Roger | Needham | M | computer security | |||
| James | G. | Nell | M | GERAM | ||
| Bernard | de Neumann | M | massively parallel autonomous cellular processor, software engineering research | |||
| Klara | Dan von Neumann | F | (1911-1963) | early computers, ENIAC programmer and control designer | ||
| John | von Neumann | M | (1903-1957) | early computers, von Neumann machine, set theory, functional analysis, mathematics pioneer, linear programming, quantum mechanics | ||
| Allen | Newell | M | artificial intelligence, Computer Structures | |||
| Max | Newman | M | Colossus, MADM | |||
| Andrew | Ng | M | artificial intelligence, machine learning, robotics | |||
| Nils | Nilsson | M | artificial intelligence | |||
| G.M. | Nijssen | M | NIAM | X | ||
| Tobias | Nipkow | M | proof assistance | |||
| Phiwa | Nkambule | M | Fintech, artificial intelligence, machine learning, robotics | |||
| Jerre | Noe | M | computerized banking | |||
| Peter | Nordin | M | artificial intelligence, genetic programming, evolutionary robotics | |||
| Donald | Norman | M | user interfaces, usability | |||
| Peter | Norvig | M | artificial intelligence, Director of Research at Google | |||
| George | Novacky | M | Assistant Department Chair and Senior Lecturer in Computer Science, Assistant Dean of CAS for Undergraduate Studies at University of Pittsburgh | |||
| Kristen | Nygaard | F | Simula | |||
| T. | William Olle | M | Ferranti Mercury | X | ||
| Steve | Omohundro | M | ||||
| John | Ousterhout | M | Tcl programming Language | |||
| Mark | Overmars | M | game programming | |||
| Martin | Odersky | M | Scala programming Language | |||
| Severo | Ornstein | M | X | |||
| John | O'Sullivan | M | wifi | |||
| Larry | Page | M | co-founder of Google | |||
| Sankar | Pal | M | X | |||
| Paritosh | Pandya | M | ||||
| Christos | Papadimitriou | M | ||||
| David | Parnas | M | information hiding, modular programming | |||
| DJ | Patil | M | former Chief Data Scientist of United States | X | ||
| Yale | Patt | M | Instruction-level parallelism, speculative architectures | |||
| David | A. | Patterson | M | |||
| Mihai | Patrascu | M | data structures | |||
| Lawrence | Paulson | M | ML | |||
| Randy | Pausch | M | (1960-2008) | human-computer interaction, Carnegie professor, "Last Lecture" | X | |
| Juan | Pavón | M | software agents | |||
| Judea | Pearl | M | artificial intelligence, search algorithms | |||
| David | Pearson | M | CADES, computer graphics | |||
| Alan | Perlis | M | Programming Pearls | |||
| Radia | Perlman | F | spanning tree protocol | |||
| Pier | Giorgio Perotto | M | designer of Programma 101, arguably the first personal computer | |||
| Rózsa | Péter | F | recursive function theory | |||
| Simon | Peyton Jones | M | functional programming | |||
| Kathy | Pham | F | data, artificial intelligence, civic technology, healthcare, ethics | |||
| Roberto | Pieraccini | M | speech technologist, engineering director at Google | |||
| Gordon | Plotkin | M | ||||
| Amir | Pnueli | M | temporal logic | |||
| Willem | van der Poel | M | computer graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, games | |||
| Emil | Post | M | mathematics | |||
| Jon | Postel | M | Internet | |||
| Franco | Preparata | M | computer engineering, computational geometry, parallel algorithms, computational biology | |||
| William | H. | Press | M | numerical algorithms | ||
| Rapelang | Rabana | F | ||||
| Roberto | Ierusalimschy | M | Lua (programming language) | |||
| Michael | O. | Rabin | M | nondeterministic machine | ||
| Dragomir | R. | Radev | M | natural language processing, information retrieval | X | |
| T. | V. | Raman | M | accessibility, Emacspeak | X | |
| Brian | Randell | M | dependability | |||
| Anders | P. | Ravn | M | Duration Calculus | ||
| Raj | Reddy | M | AI | |||
| David | P. | Reed | M | |||
| Trygve | Reenskaug | M | model-view-controller (MVC) software architecture pattern | |||
| John | C. | Reynolds | M | |||
| Joyce | K. | Reynolds | F | Internet | ||
| Bernard | Richards | M | medical informatics | |||
| Martin | Richards | M | BCPL | |||
| Adam | Riese | M | ||||
| C. | J. | van Rijsbergen | M | |||
| Dennis | Ritchie | M | C (programming language), UNIX | |||
| Ron | Rivest | M | RSA, MD5, RC4 | |||
| Colette | Rolland | F | REMORA methodology, meta modelling | |||
| John | Romero - Developer of DOOM | M | Developer of DOOM | |||
| Azriel | Rosenfeld | M | ||||
| Douglas | T. | Ross | M | structured analysis and design technique | ||
| Guido | van Rossum | M | Python (programming language) | |||
| Winston | W. | Royce | M | waterfall model | ||
| Rudy | Rucker | M | mathematician, writer, educator | |||
| Steven | Rudich | M | complexity theory, cryptography | |||
| Jeff | Rulifson | M | ||||
| James | Rumbaugh | M | Unified Modeling Language, Object Management Group | |||
| Peter | Ružicka | M | Slovak computer scientist and mathematician | |||
| George | Sadowsky | M | ||||
| Umar | Saif | M | ||||
| Gerard | Salton | M | information retrieval | |||
| Jean | E. | Sammet | F | programming languages | ||
| Claude | Sammut | M | artificial-intelligence researcher | |||
| Carl | Sassenrath | M | operating systems, programming languages, Amiga, REBOL | |||
| Mahadev | Satyanarayanan | M | file systems, distributed systems, mobile computing, pervasive computing | |||
| Walter | Savitch | M | discovery of complexity class NL, Savitch's theorem, natural language processing, mathematical linguistics | |||
| Jonathan | Schaeffer | M | ||||
| Wilhelm | Schickard | M | one of the first calculating machines | |||
| Steve | Schneider | M | formal methods, security | |||
| Bruce | Schneier | M | cryptography, security | |||
| Fred | B. | Schneider | M | concurrent and distributed computing | ||
| Glenda | Schroeder | F | command-line shell, e-mail | |||
| Dana | Scott | M | domain theory | X | ||
| Michael | L. | Scott | M | programming languages, algorithms, distributed computing | ||
| Ravi | Sethi | M | compilers, 2nd Dragon Book | |||
| Nigel | Shadbolt | M | ||||
| Adi | Shamir | M | RSA, cryptanalysis | |||
| Claude | Shannon | M | information theory | |||
| David | E. | Shaw | M | computational finance, computational biochemistry, parallel architectures | ||
| Cliff | Shaw | M | systems programmer, artificial intelligence | |||
| Scott | Shenker | M | networking | |||
| Ben | Shneiderman | M | human-computer interaction, information visualization | |||
| Edward | H. | Shortliffe | M | MYCIN (medical diagnostic expert system) | ||
| Joseph | Sifakis | M | model checking | |||
| Herbert | A. | Simon | M | artificial intelligence | ||
| Munindar | P. | Singh | M | multiagent systems, software engineering, artificial intelligence, social networks | ||
| Ramesh | Sitaraman | M | helped build Akamai's high performance network | |||
| Daniel | Sleator | M | splay tree, amortized analysis | |||
| Aaron | Sloman | M | artificial intelligence and cognitive science | |||
| Arne | Sølvberg | M | information modelling | |||
| Brian | Cantwell Smith | M | reflection (computer science), 3lisp | |||
| Steven | Spewak | M | enterprise architecture planning | |||
| Carol | Spradling | F | ||||
| Robert | Sproull | M | ||||
| Rohini | Kesavan Srihari | F | information retrieval, text analytics, multilingual text mining | |||
| Sargur | Srihari | M | pattern recognition, machine learning, computational criminology, CEDAR-FOX | |||
| Maciej | Stachowiak | M | GNOME, Safari, WebKit | |||
| Richard | Stallman | M | (born 1953) | GNU Project | ||
| Ronald | Stamper | M | ||||
| Richard | E. | Stearns | M | computational complexity theory | ||
| Guy | L. | Steele, Jr. | M | Scheme, Common Lisp | ||
| Thomas | Sterling | M | creator of Beowulf clusters | |||
| W. | Richard Stevens | M | (1951-1999) | author of books, including TCP/IP Illustrated and Advanced Programming in the Unix Environment | ||
| Larry | Stockmeyer | M | computational complexity, distributed computing | |||
| Salvatore | Stolfo | M | computer security, machine learning | |||
| Michael | Stonebraker | M | relational database practice and theory | |||
| Olaf | Storaasli | M | finite element machine, linear algebra, high performance computing | |||
| Christopher | Strachey | M | denotational semantics | |||
| Bjarne | Stroustrup | M | C++ | |||
| Madhu | Sudan | M | computational complexity theory, coding theory | |||
| Gerald | Jay Sussman | M | Scheme | |||
| Bert | Sutherland | M | graphics, Internet | |||
| Ivan | Sutherland | M | graphics | |||
| Mario | Szegedy | M | complexity theory, quantum computing | |||
| Parisa | Tabriz | F | Google Director of Engineering, also known as the Security Princess | |||
| Roberto | Tamassia | M | computational geometry, computer security | |||
| Andrew | S. | Tanenbaum | M | operating systems, MINIX | ||
| Austin | Tate | M | Artificial Intelligence Applications, AI Planning, Virtual Worlds | |||
| Bernhard | Thalheim | M | conceptual modelling foundation | |||
| Éva | Tardos | F | ||||
| Gábor | Tardos | M | ||||
| Robert | Tarjan | M | splay tree | |||
| Valerie | Taylor | F | ||||
| Mario | Tchou | M | Italian engineer, of Chinese descent, leader of Olivetti Elea project | |||
| Jaime | Teevan | F | X | |||
| Shang-Hua | Teng | M | analysis of algorithms | |||
| Larry | Tesler | M | human-computer interaction, graphical user interface, Apple Macintosh | |||
| Avie | Tevanian | M | Mach kernel team, NeXT, Mac OS X | |||
| Charles | P. | Thacker | M | Xerox Alto, Microsoft Research | ||
| Daniel | Thalmann | M | computer graphics, virtual actor | |||
| Ken | Thompson | M | Unix | |||
| Sebastian | Thrun | M | AI researcher and inventor of autonomous driving | |||
| Walter | F. | Tichy | M | RCS | ||
| Seinosuke | Toda | M | computation complexity, recipient of 1998 Gödel Prize | |||
| Linus | Torvalds | M | Linux kernel, Git | |||
| Godfried | Toussaint | M | computational geometry, computational music theory | |||
| Gloria | Townsend | F | ||||
| Edwin | E. | Tozer | M | business information systems | ||
| Joseph | F Traub | M | computational complexity of scientific problems | |||
| John | Tukey | M | founder of FFT algorithm, box plot, exploratory data analysis and Coining the term 'bit' | |||
| Alan | Turing | M | (1912-1954) | British computing pioneer, Turing machine, algorithms, cryptology, computer architecture | ||
| Murray | Turoff | M | computer-mediated communication | |||
| Jeffrey | D. | Ullman | M | compilers, databases, complexity theory | ||
| Umar | Saif | M | ||||
| Leslie | Valiant | M | computational complexity theory, computational learning theory | X | ||
| Vladimir | Vapnik | M | pattern recognition, computational learning theory | |||
| Moshe | Vardi | M | professor of computer science at Rice University | |||
| Dorothy | Vaughan | F | ||||
| Umesh | Vazirani | M | ||||
| Vijay | omer | M | ||||
| Manuela | M. | Veloso | F | |||
| François | Vernadat | M | enterprise modeling | |||
| Richard | Veryard | M | enterprise modeling | |||
| Paul | Vitanyi | M | Kolmogorov complexity, Information distance, Normalized compression distance, Normalized Google distance | |||
| Andrew | Viterbi | M | Viterbi algorithm | |||
| Jeffrey | Scott Vitter | M | external memory algorithms, compressed data structures, data compression, databases | |||
| Paul | Vixie | M | DNS, BIND, PAIX, Internet Software Consortium, MAPS, DNSBL | |||
| David | Wagner | M | security, cryptography | |||
| Larry | Wall | M | Perl programming language | |||
| David | Waltz | M | ||||
| James | Z. | Wang | M | |||
| Steve | Ward | M | ||||
| Manfred | K. | Warmuth | M | computational learning theory | ||
| David | H. D. | Warren | M | AI, logic programming, Prolog, the 'w' in WAM | ||
| Kevin | Warwick | M | artificial intelligence | |||
| Jan | Weglarz | F | ||||
| Peter | Wegner | M | object-oriented programming, interaction (computer science) | |||
| Peter | J. | Weinberger | M | programming language design, the 'w' in AWK | ||
| Mark | Weiser | M | ubiquitous computing | |||
| Joseph | Weizenbaum | M | artificial intelligence, ELIZA | |||
| David | Wheeler | M | EDSAC, subroutines | |||
| Franklin | H. | Westervelt | M | use of computers in engineering education, conversational use of computers, MTS, ARPANET, distance learning | ||
| Steve | Whittaker | M | human computer interaction, computer support for cooperative work, social media | |||
| Jennifer | Widom | F | nontraditional data management | |||
| Gio | Wiederhold | M | database management systems | |||
| Norbert | Wiener | M | Cybernetics | |||
| Adriaan | van Wijngaarden | M | Dutch pioneer; ARRA, ALGOL | |||
| Mary | Allen Wilkes | F | LINC developer, assembler-linker designer | |||
| Maurice | Vincent Wilkes | M | microprogramming, EDSAC | |||
| Yorick | Wilks | M | computational linguistics, artificial intelligence | |||
| James | H. | Wilkinson | M | numerical analysis | ||
| Sophie | Wilson | F | ARM architecture | |||
| Shmuel | Winograd | M | Winograd algorithm | |||
| Terry | Winograd | M | artificial intelligence, SHRDLU | X | ||
| Patrick | Winston | M | artificial intelligence | |||
| Niklaus | Wirth | M | Pascal, Modula, Oberon (programming language) | |||
| Neil | Wiseman | M | computer graphics | |||
| Dennis | E. | Wisnosky | M | Integrated Computer-Aided Manufacturing (ICAM), IDEF | ||
| Stephen | Wolfram | M | Mathematica | |||
| Mike | Woodger | M | Pilot ACE, ALGOL 60, Ada (programming language) | |||
| Beatrice | Helen Worsley | F | wrote the first PhD dissertation involving modern computers; was one of the people who wrote Transcode | |||
| Steve | Wozniak | M | engineered first generation personal computers at Apple Computer | |||
| Jie | Wu | M | computer networks | |||
| William | Wulf | M | compilers | |||
| Mihalis | Yannakakis | M | ||||
| Andrew | Chi-Chih Yao | M | ||||
| John | Yen | M | ||||
| Edward | Yourdon | M | Structured Systems Analysis and Design Method | |||
| Moti | Yung | M | ||||
| Lotfi | Zadeh | M | fuzzy logic | |||
| Hans | Zantema | M | termination analysis | |||
| Arif | Zaman | M | pseudo-random number generator | X | ||
| Shlomo | Zilberstein | M | artificial intelligence, anytime algorithms, automated planning, and decentralized POMDPs | |||
| Jill | Zimmerman | F | James M. Beall Professor of Mathematics and Computer Science at Goucher College | |||
| Konrad | Zuse | M | German pioneer of hardware and software |
* M/F column denotes names which could be Male or Female (such as Lee) and were checked manually, using their Wikipedia page and photo.