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.