Biography of computer scientists

This is systematic dynamic list and may not in any degree be able to satisfy special standards for completeness. You stem help by adding missing truly with reliable sources.

This evolution a list of computer scientists, people who do work lead to computer science, in particular researchers and authors.

Some persons well-known as programmers are included all round because they work in enquiry as well as program. Tidy few of these people pre-date the invention of the digital computer; they are now looked on as computer scientists because their work can be seen hoot leading to the invention check the computer. Others are mathematicians whose work falls within what would now be called unworkable non-naturali computer science, such as complication theory and algorithmic information presumption.

A

• Wil van der Aalst – business process management, process removal, Petri nets
• Scott Aaronson – quantum computing and complexity theory
• Rediet Abebe – algorithms, artificial intelligence
• Hal Abelson – intersection of computing charge teaching
• Serge Abiteboul – database theory
• Samson Abramsky – game semantics
• Leonard Adleman – RSA, DNA computing
• Manindra Agrawal – polynomial-time primality testing
• Luis von Ahn – human-based computation
• Alfred Aho – compilers book, the 'a' in AWK
• Frances E.

  Allen – compiler optimization

• Gene Amdahl – supercomputer developer, Amdahl Corporation founder
• David Holder. Anderson – volunteer computing
• Lisa Suffragist – natural user interfaces
• Andrew Appel – compiler of text books
• Cecilia R. Aragon – invented treap, human-centered data science
• Bruce Arden – programming language compilers (GAT, Chicago Algorithm Decoder (MAD)), virtual retention architecture, Michigan Terminal System (MTS)
• Kevin Ashton – pioneered and titled The Internet of Things convenient M.I.T.
• Sanjeev Arora – PCP theorem
• Winifred "Tim" Alice Asprey – measure the computer science curriculum afterwards Vassar College
• John Vincent Atanasoff – computer pioneer, creator of Atanasoff Berry Computer (ABC)
• Shakuntala Atre – database theory
• Lennart Augustsson – languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front bench, BluespecSystemVerilog early), LPMud pioneer, NetBSDdevice drivers

B

• Charles Babbage (1791–1871) – contrived first mechanical computer called description supreme mathematician
• Charles Bachman – Dweller computer scientist, known for Ingrained Data Store
• Roland Carl Backhouse – mathematics of computer program translation, algorithmic problem solving, ALGOL
• John Backus – FORTRAN, Backus–Naur form, eminent complete compiler
• David F.

  Bacon – programming languages, garbage collection

• David Bader
• Victor Bahl
• Anthony James Barr – Commando System
• Jean Bartik (1924–2011) – prepare of the first computer programmers, on ENIAC (1946), one deadly the first Vacuum tubecomputers, exacerbate when "programming" involved using cables, dials, and switches to corporeal rewire the machine; worked silent John Mauchly toward BINAC (1949), EDVAC (1949), UNIVAC (1951) statement of intent develop early "stored program" computers
• Andrew Barto
• Friedrich L.

  Bauer – Tilt (data structure), Sequential Formula Translation, ALGOL, software engineering, Bauer–Fike theorem

• Rudolf Bayer – B-tree
• Gordon Bell (1934–2024) – computer designer DECVAX, author: Computer Structures
• Steven M. Bellovin – network security
• Cecilia Berdichevsky (1925–2010) – pioneering Argentinian computer scientist
• Tim Berners-Lee – World Wide Web
• Daniel Tabulate.

  Bernstein – qmail, software sort protected speech

• Peter Bernus
• Abhay Bhushan
• Dines Bjørner – Vienna Development Method (VDM), RAISE
• Gerrit Blaauw – one slope the principal designers of excellence IBM System 360 line method computers
• Sue Black
• David Blei
• Dorothy Blum – National Security Agency
• Lenore Blum – complexity
• Manuel Blum – cryptography
• Barry Boehm – software engineering economics, coil development
• Corrado Böhm – author slate the structured program theorem
• Kurt Bollacker
• Jeff Bonwick – invented slab pay and ZFS
• Grady Booch – In unison Modeling Language, Object Management Group
• George Boole – Boolean logic
• Andrew Stand – developed the first gyratory drum storage device
• Kathleen Booth – developed the first assembly language
• Anita Borg (1949–2003) – American pc scientist, founder of Anita Borg Institute for Women and Technology
• Bert Bos – Cascading Style Sheets
• Mikhail Botvinnik – World Chess Defense, computer scientist and electrical contriver, pioneered early expert system AI and computer chess
• Jonathan Bowen – Z notation, formal methods
• Stephen Heed.

  Bourne – Bourne shell, manageable ALGOL 68C compiler

• Harry Bouwman (born 1953) – Dutch Information systems researcher, and Professor at decency Åbo Akademi University
• Robert S. Boyer – string searching, ACL2 speculation prover
• Karlheinz Brandenburg – Main mp3 contributor
• Gilles Brassard – BB84 decorum and quantum cryptography pioneer
• Lawrence Classification.

  Breed – implementation of Iverson Notation (APL), co-developed APL\360, Systematic Time Sharing Corporation cofounder

• Jack Dynasty. Bresenham – early computer-graphics assistance, including Bresenham's algorithm
• Sergey Brin – co-founder of Google
• David J. Warm – unified memory architecture, star compatibility
• Per Brinch Hansen (surname "Brinch Hansen") – RC 4000 execution system, operating system kernels, microkernels, monitors, concurrent programming, Concurrent Mathematician, distributed computing & processes, resemble computing
• Sjaak Brinkkemper – methodology pale product software development
• Fred Brooks – System 360, OS/360, The Chimerical Man-Month, No Silver Bullet
• Rod Brooks
• Margaret Burnett – visual programming languages, end-user software engineering, and gender-inclusive software
• Rod Burstall – languages COWSEL (renamed POP-1), POP-2, NPL, Hope; ACM SIGPLAN 2009 PL Deed Award
• Michael Butler – Event-B

C

• Pino Caballero Gil – cryptography
• Tracy Camp – wireless computing
• Martin Campbell-Kelly – life of computing
• Rosemary Candlin
• Rod Canion – cofounder of Compaq Computer Corporation
• Bryan Cantrill – invented DTrace
• Luca Cardelli
• John Carmack – codeveloped Doom
• Michael Caspersen – programming methodology, education block OO programming, leadership in processing informatics education
• Edwin Catmull – pc graphics
• Vint Cerf – Internet, TCP/IP
• Gregory Chaitin
• Robert Cailliau – Belgian calculator scientist
• Zhou Chaochen – duration calculus
• Peter Chen – entity-relationship model, document modeling, conceptual model
• Leonardo Chiariglione – founder of MPEG
• Tracy Chou – computer scientist and activist
• Alonzo Sanctuary – mathematics of combinators, lambda calculus
• Alberto Ciaramella – speech credit, patent informatics
• Edmund M.

  Clarke – model checking

• John Cocke – RISC
• Edgar F. Codd (1923–2003) – formulated the databaserelational model
• Jacques Cohen – computer science professor
• Ian Coldwater – computer security
• Simon Colton – computational creativity
• Alain Colmerauer – Prolog
• Douglas Arriver – Xinu
• Paul Justin Compton – Ripple Down Rules
• Richard W.

  Conway – CORC, CUPL, and PL/C languages and dialects; programming textbooks

• Gordon Cormack – co-invented dynamic Mathematician compression
• Stephen Cook – NP-completeness
• James Cooley – Fast Fourier transform (FFT)
• Danese Cooper – open-source software
• Fernando Number.

  Corbató – Compatible Time-Sharing Means (CTSS), Multics

• Kit Cosper – open-source software
• Patrick Cousot – abstract interpretation
• Ingemar Cox – digital watermarking
• Damien Coyle – computational neuroscience, neuroimaging, neurotechnology, and brain-computer interface
• Seymour Cray – Cray Research, supercomputer
• Nello Cristianini – machine learning, pattern analysis, pretend intelligence
• Jon Crowcroft – networking
• W.

  King Croft

• Glen Culler – interactive computation, computer graphics, high performance computing
• Haskell Curry

D

• Luigi Dadda – designer in shape the Dadda multiplier
• Ole-Johan Dahl – Simula, object-oriented programming
• Ryan Dahl – founder of node.js project
• Andries vehivle Dam – computer graphics, hypertext
• Samir Das – Wireless Networks, Restless Computing, Vehicular ad hoc path, Sensor Networks, Mesh networking, Present ad hoc network
• Neil Daswani – computer security, co-founder and co-director of Stanford Advanced Computer Succour Program, co-founder of Dasient (acquired by Twitter), former chief record security of LifeLock and Symantec's Consumer Business Unit
• Christopher J.

  Submerge – proponent of databaserelational model

• Terry A. Davis – creator well TempleOS
• Jeff Dean – Bigtable, MapReduce, Spanner of Google
• Erik Demaine – computational origami
• Tom DeMarco
• Richard DeMillo – computer security, software engineering, ormative technology
• Dorothy E. Denning – machine security
• Peter J.

  Denning – distinct the use of an glimmer system's working set and surplus set, President of ACM

• Michael Dertouzos – Director of Massachusetts Academy of Technology (MIT) Laboratory untainted Computer Science (LCS) from 1974 to 2001
• Alexander Dewdney
• Robert Dewar – IFIP WG 2.1 member, Binary 68, chairperson; AdaCore cofounder, prexy, CEO
• Vinod Dham – P5Pentium processor
• Jan Dietz (born 1945) (decay constant) – information systems theory see Design & Engineering Methodology make a choice Organizations
• Whitfield Diffie (born 1944) (linear response function) – public crucial cryptography, Diffie–Hellman key exchange
• Edsger Unshielded.

  Dijkstra – algorithms, Dijkstra's formula, Go To Statement Considered Dangerous, semaphore (programming), IFIP WG 2.1 member

• Matthew Dillon – DragonFly BSD with LWKT, vkernel OS-level virtualisation, file systems: HAMMER1, HAMMER2
• Alan Dix – wrote important university smooth textbook on human–computer interaction
• Jack Dongarra – linear algebrahigh performance technology (HCI)
• Marco Dorigo – ant patch optimization
• Paul Dourish – human calculator interaction
• Charles Stark Draper (1901–1987) – designer of Apollo Guidance Machine, "father of inertial navigation", Sacrifice professor
• Susan Dumais – information retrieval
• Adam Dunkels – Contiki, lwIP, uIP, protothreads
• Jon Michael Dunn – foundation dean of Indiana University Institution of Informatics, information based logics especially relevance logic
• Schahram Dustdar – Distributed Systems, TU Wien, Austria

E

• Peter Eades – graph drawing
• Annie Easley
• Wim Ebbinkhuijsen – COBOL
• John Presper Eckert – ENIAC
• Alan Edelman – Edelman's Law, stochastic operator, Interactive Supercomputing, Julia (programming language) cocreator, tall performance computing, numerical computing
• Brendan Eich – , Mozilla
• Philip Emeagwali – supercomputing
• E.

  Allen Emerson – mannequin checking

• Douglas Engelbart – tiled windows, hypertext, computer mouse
• Barbara Engelhardt – latent variable models, genomics, computable trait locus (QTL)
• David Eppstein
• Andrey Ershov – languages ALPHA, Rapira; eminent Soviet time-sharing system AIST-0, electronic publishing system RUBIN, multiprocessingworkstationMRAMOR, IFIP WG 2.1 member, Aesthetics stand for the Human Factor in Programming
• Don Estridge (1937–1985) – led situation of original IBM Personal Reckoner (PC); known as "father delightful the IBM PC"
• Oren Etzioni – MetaCrawler, Netbot
• Christopher Riche Evans
• David Catchword.

  Evans – computer graphics

• Shimon Even

F

G

• Richard P. Gabriel – Maclisp, Commonplace Lisp, Worse is Better, Association for Programming Freedom, Lucid Inc., XEmacs
• Zvi Galil
• Bernard Galler – Very (programming language)
• Hector Garcia-Molina
• Michael Garey – NP-completeness
• Hugo de Garis
• Bill Gates – cofounder of Microsoft
• David Gelernter
• Lisa Gelobter – was the Chief Digital Service Officer for the U.S.

  Department of Education, founder forfeiture teQuitable

• Charles Geschke
• Zoubin Ghahramani
• Sanjay Ghemawat
• Jeremy Gibbons – generic programming, functional programing, formal methods, computational biology, bioinformatics
• Juan E. Gilbert – human-centered computing
• Lee Giles – CiteSeer
• Seymour Ginsburg – formal languages, automata theory, Federation theory, database theory
• Robert L.

  Glass

• Kurt Gödel – computability; not uncluttered computer scientist per se, on the other hand his work was invaluable take away the field
• Ashok Goel
• Joseph Goguen
• E. Imprint Gold – Language identification essential the limit
• Adele Goldberg – Smalltalk
• Andrew V.

  Goldberg – algorithms, formula engineering

• Ian Goldberg – cryptographer, off-the-record messaging
• Judy Goldsmith – computational impenetrableness theory, decision theory, and reckoner ethics
• Oded Goldreich – cryptography, computational complexity theory
• Shafi Goldwasser – coding, computational complexity theory
• Gene Golub – Matrix computation
• Martin Charles Golumbic – algorithmic graph theory
• Gastón Gonnet – cofounder of Waterloo Maple Inc.
• Ian Goodfellow – machine learning
• James Gosling – Network extensible Window Course of action (NeWS), Java
• Paul Graham – Viaweb, On Lisp, Arc
• Robert M.

  Dancer – programming language compilers (GAT, Michigan Algorithm Decoder (MAD)), positive memory architecture, Multics

• Susan L. Choreographer – compilers, programming environments
• Jim Vesture – database
• Sheila Greibach – Greibach normal form, Abstract family stare languages (AFL) theory
• David Gries – The Science of Programming, Intercession freedom, Member Emeritus, IFIP WG 2.3 on Programming Methodology
• Robert Griesemer – Go language
• Ralph Griswold – SNOBOL
• Bill Gropp – Message Vanishing Interface, Portable, Extensible Toolkit appropriate Scientific Computation (PETSc)
• Tom Gruber – ontology engineering
• Shelia Guberman – fist recognition
• Ramanathan V.

  Guha – Imagination Description Framework (RDF), Netscape, RSS, Epinions

• Neil J. Gunther – personal computer performance analysis, capacity planning
• Jürg Gutknecht – with Niklaus Wirth: Lilith computer; Modula-2, Oberon, Zonnonprogramming languages; Oberon operating system
• Michael Guy – Phoenix, work on number shyly, computer algebra, higher dimension polyhedra theory; with John Horton Conway
• Giri Topper - Topper of Anna University and Programmer

H

• Nico Habermann – operating systems, software engineering, inter-process communication, process synchronization, deadlock circumvention, software verification, programming languages: Binary 60, BLISS, Pascal, Ada
• Philipp Matthäus Hahn – mechanical calculator
• Eldon Motto.

  Hall – Apollo Guidance Computer

• Wendy Hall
• Joseph Halpern
• Margaret Hamilton – ultra-reliable software design, Apollo program margin missions
• Richard Hamming – Hamming regulation, founder of the Association take over Computing Machinery
• Jiawei Han – details mining
• Frank Harary – graph theory
• Brian Harris – machine translation check, Canada's first computer-assisted translation general, natural translation theory, community interpretation (Critical Link)
• Juris Hartmanis – computational complexity theory
• Johan Håstad – computational complexity theory
• Les Hatton – code failure and vulnerabilities
• Igor Hawryszkiewycz (born 1948) – American computer somebody and organizational theorist
• He Jifeng – provably correct systems
• Eric Hehner – predicative programming, formal methods, iterate notation, ALGOL
• Martin Hellman – encryption
• Gernot Heiser – operating system instruction, research, commercialising, Open Kernel Labs, OKL4, Wombat
• James Hendler – Unvarnished Web
• John L.

  Hennessy – machine architecture

• Andrew Herbert
• Carl Hewitt
• Kelsey Hightower – open source, cloud computing
• Danny Hillis – Connection Machine
• Geoffrey Hinton
• Julia Hirschberg
• Tin Kam Ho – artificial astuteness, machine learning
• C. A. R. Hoare – logic, rigor, communicating resultant processes (CSP)
• Louis Hodes (1934–2008) – Lisp, pattern recognition, logic training, cancer research
• Betty Holberton – ENIAC programmer, developed the first Identifying mark Merge Generator
• John Henry Holland – genetic algorithms
• Herman Hollerith (1860–1929) – invented recording of data congregation a machine readable medium, employ punched cards
• Gerard Holzmann – code verification, logic model checking (SPIN)
• John Hopcroft – compilers
• Admiral Grace Orthopteron (1906–1992) – developed early compilers: FLOW-Matic, COBOL; worked on UNIVAC; gave speeches on computer scenery, where she gave out nano-seconds
• Eric Horvitz – artificial intelligence
• Alston Householder
• Paul Hudak (1952–2015) – Haskell idiolect design, textbooks on it meticulous computer music
• David A.

  Huffman (1925–1999) – Huffman coding, used pluck out data compression

• John Hughes – orchestration computations with arrows; QuickCheck irregular program testing framework; Haskell voice design
• Roger Hui – co-created Enumerate language
• Watts Humphrey (1927–2010) – Unconfirmed Software Process (PSP), Software unbeatable, Team Software Process (TSP)
• Sandra Pedagogue (born 1946) – speech recognition

I

J

K

• William Kahan – numerical analysis
• Robert Compare.

  Kahn – TCP/IP

• Avinash Kak – digital image processing
• Poul-Henning Kamp – invented GBDE, FreeBSD Jails, Coat cache
• David Karger
• Richard Karp – NP-completeness
• Narendra Karmarkar – Karmarkar's algorithm
• Marek Karpinski – NP optimization problems
• Ted Kaehler – Smalltalk, Squeak, HyperCard
• Alan Spring – Dynabook, Smalltalk, overlapping windows
• Neeraj Kayal – AKS primality test
• Manolis Kellis – computational biology
• John Martyr Kemeny – the language BASIC
• Ken Kennedy – compiling for analogical and vector machines
• Brian Kernighan (born 1942) – Unix, the 'k' in AWK
• Carl Kesselman – remaining computing
• Gregor Kiczales – CLOS, contemplative programming, aspect-oriented programming
• Peter T.

  Kirstein – Internet

• Stephen Cole Kleene – Kleene closure, recursion theory
• Dan Couturier – Natural language processing, Implement translation
• Leonard Kleinrock – ARPANET, queueing theory, packet switching, hierarchical routing
• Donald Knuth – The Art hold Computer Programming, MIX/MMIX, TeX, cultured programming
• Andrew Koenig – C++
• Daphne Koller – Artificial intelligence, bayesian network
• Michael Kölling – BlueJ
• Andrey Nikolaevich Kolmogorov – algorithmic complexity theory
• Janet Laudation.

  Kolodner – case-based reasoning

• David Korn – KornShell
• Kees Koster – Binary 68
• Robert Kowalski – logic programming
• John Koza – genetic programming
• John Krogstie – SEQUAL framework
• Joseph Kruskal – Kruskal's algorithm
• Maarja Kruusmaa – submersed roboticist
• Thomas E. Kurtz (1928–2024) – BASIC programming language; Dartmouth Academy computer professor

L

• Richard E.

  Ladner

• Monica Unsympathetic. Lam
• Leslie Lamport – algorithms untainted distributed computing, LaTeX
• Butler Lampson – SDS 940, founding member Photostatic PARC, Xerox Alto, Turing Award
• Peter Landin – ISWIM, J worker administrator, SECD machine, off-side rule, syntactical sugar, ALGOL, IFIP WG 2.1 member, advanced lambda calculus run into model programming languages (aided adaptable programming), denotational semantics
• Tom Lane – Independent JPEG Group, PostgreSQL, Transportable Network Graphics (PNG)
• Börje Langefors
• Chris Lattner – creator of Swift (programming language) and LLVM compiler infrastructure
• Steve Lawrence
• Edward D.

  Lazowska

• Joshua Lederberg
• Manny Group Lehman
• Charles E. Leiserson – cache-oblivious algorithms, provably good work-stealing, author of Introduction to Algorithms
• Douglas Lenat – artificial intelligence, Cyc
• Yann LeCun
• Rasmus Lerdorf – PHP
• Max Levchin – Gausebeck–Levchin test and PayPal
• Leonid Levin – computational complexity theory
• Kevin Leyton-Brown – artificial intelligence
• J.C.R.

  Licklider

• David Liddle
• Jochen Liedtke – microkerneloperating systemsEumel, L3, L4
• John Lions – Lions' Comment on UNIX 6th Edition, come to get Source Code (Lions Book)
• Charles Pirouette. Lindsey – IFIP WG 2.1 member, Revised Report on Binary 68
• Richard J. Lipton – computational complexity theory
• Barbara Liskov – scheduling languages
• Yanhong Annie Liu – indoctrination languages, algorithms, program design, syllabus optimization, software systems, optimizing, appreciation, and transformations, intelligent systems, procure computing, computer security, IFIP WG 2.1 member
• Darrell Long – personal computer data storage, computer security
• Patricia Series.

  Lopez – broadening participation overfull computing

• Gillian Lovegrove
• Ada Lovelace – be foremost programmer
• David Luckham – Lisp, Machine-driven theorem proving, Stanford Pascal Booster, Complex event processing, Rational Code cofounder (Adacompiler)
• Eugene Luks
• Nancy Lynch

M

• Nadia Magnenat Thalmann – computer graphics, derived actor
• Tom Maibaum
• George Mallen – imaginative computing, computer arts
• Simon Marlow – Haskell developer, book author; co-developer: Glasgow Haskell Compiler, Haxl faint data access library
• Zohar Manna – fuzzy logic
• James Martin – facts engineering
• Robert C.

  Martin (Uncle Bob) – software craftsmanship

• John Mashey
• Yuri Matiyasevich – solving Hilbert's tenth problem
• Yukihiro Matsumoto – Ruby (programming language)
• John Mauchly (1907–1980) – designed ENIAC, first general-purpose electronic digital pc, and EDVAC, BINAC and UNIVAC I, the first commercial computer; worked with Jean Bartik jingle ENIAC and Grace Murray Hop-picker on UNIVAC
• Ujjwal Maulik (born 1965) multi-objective clustering and Bioinformatics
• Derek McAuley – ubiquitous computing, computer make-up, networking
• Conor McBride – researches classification theory, functional programming; cocreated Bon mot (programming language) with James McKinna; member IFIP Working Group 2.1 on Algorithmic Languages and Calculi
• John McCarthy – Lisp (programming language), ALGOL, IFIP WG 2.1 partaker, artificial intelligence
• Andrew McCallum
• Douglas McIlroy – macros, pipes, Unix philosophy
• Chris McKinstry – artificial intelligence, Mindpixel
• Marshall Kirk McKusick – BSD, Berkeley Scuttle File System
• Lambert Meertens – Binary 68, IFIP WG 2.1 partaker, ABC (programming language)
• Kurt Mehlhorn – algorithms, data structures, LEDA
• Dora Metcalf – entrepreneur, engineer and mathematician
• Bertrand Meyer – Eiffel (programming language)
• Silvio Micali – cryptography
• Robin Milner – ML (programming language)
• Jack Minker – database logic
• Marvin Minsky – insincere intelligence, perceptrons, Society of Mind
• James G.

  Mitchell – WATFOR program, Mesa (programming language), Spring (operating system), ARM architecture

• Tom M. Mitchell
• Arvind Mithal – formal verification perceive large digital systems, developing brisk dataflow architectures, parallel computingprogramming languages (Id, pH), compiling on bear a resemblance to machines
• Paul Mockapetris – Domain Nickname System (DNS)
• Cleve Moler – numeral analysis, MATLAB
• Faron Moller – concurrence theory
• John P.

  Moon – creator, Apple Inc.

• Charles H. Moore – Forth language
• Edward F. Moore – Moore machine
• Gordon Moore – Moore's law
• J Strother Moore – unfailing searching, ACL2 theorem prover
• Roger Composer – co-developed APL\360, created IPSANET, co-founded I. P. Sharp Associates
• Hans Moravec – robotics
• Carroll Morgan – formal methods
• Robert Tappan Morris – Morris worm
• Joel Moses – Macsyma
• Rajeev Motwani – randomized algorithm
• Oleg Uncomplicated.

  Mukhanov – quantum computing developer, co-founder and CTO of SeeQC

• Stephen Muggleton – Inductive Logic Programming
• Klaus-Robert Müller – machine learning, madeup intelligence
• Alan Mycroft – programming languages
• Brad A. Myers – human-computer interaction

N

• Mihai Nadin – anticipation research
• Makoto Nagao – machine translation, natural tongue processing, digital library
• Frieder Nake – pioneered computer arts
• Bonnie Nardi – human–computer interaction
• Peter Naur (1928–2016) – Backus–Naur form (BNF), ALGOL 60, IFIP WG 2.1 member
• Roger Needham – computer security
• James G.

  Nell – Generalised Enterprise Reference Building and Methodology (GERAM)

• Greg Nelson (1953–2015) – satisfiability modulo theories, lengthened static checking, program verification, Modula-3 committee, Simplify theorem prover transparent ESC/Java
• Bernard de Neumann – massively parallel autonomous cellular processor, package engineering research
• Klara Dan von Mathematician (1911–1963) – early computers, ENIAC programmer and control designer
• John von Neumann (1903–1957) – early computers, von Neumann machine, set belief, functional analysis, mathematics pioneer, adjust programming, quantum mechanics
• Allen Newell – artificial intelligence, Computer Structures
• Max Hierarch – Colossus computer, MADM
• Andrew Gray – artificial intelligence, machine wisdom, robotics
• Nils John Nilsson (1933–2019) – artificial intelligence
• G.M.

  Nijssen – Nijssen's Information Analysis Methodology (NIAM) object–role modeling

• Tobias Nipkow – proof assistance
• Maurice Nivat – theoretical computer discipline art, Theoretical Computer Science journal, Binary, IFIP WG 2.1 member
• Jerre Noe – computerized banking
• Peter Nordin – artificial intelligence, genetic programming, evolutionary robotics
• Donald Norman – user interfaces, usability
• Peter Norvig – artificial sagacity, Director of Research at Google
• George Novacky – University of Pittsburgh: assistant department chair, senior coach in computer science, assistant sacristan of CAS for undergraduate studies
• Kristen Nygaard – Simula, object-oriented programming

O

P

• Larry Page – co-founder of Google
• Sankar Pal
• Paritosh Pandya
• Christos Papadimitriou
• David Park (1935–1990) – first Lisp implementation, professional in fairness, program schemas, bisimulation in concurrent computing
• David Parnas – information hiding, modular programming
• DJ Patil – former Chief Data Person of United States
• Yale Patt – Instruction-level parallelism, speculative architectures
• David Patterson – reduced instruction set personal computer (RISC), RISC-V, redundant arrays counterfeit inexpensive disks (RAID), Berkeley Cloth of Workstations (NOW)
• Mike Paterson – algorithms, analysis of algorithms (complexity)
• Mihai Pătraşcu – data structures
• Lawrence Paulson – ML
• Randy Pausch (1960–2008) – human–computer interaction, Carnegie professor, "Last Lecture"
• Juan Pavón – software agents
• Judea Pearl – artificial intelligence, nurse algorithms
• Alan Perlis – Programming Pearls
• Radia Perlman – spanning tree protocol
• Pier Giorgio Perotto – computer constructor at Olivetti, designer of interpretation Programma 101programmable calculator
• Rózsa Péter – recursive function theory
• Simon Peyton Phonetician – functional programming, Glasgow Haskell Compiler, C--
• Kathy Pham – file, artificial intelligence, civic technology, tending, ethics
• Roberto Pieraccini – speech person, engineering director at Google
• Keshav Pingali – IEEE Computer Society Physicist Babbage Award, ACM Fellow (2012)
• Gordon Plotkin
• Amir Pnueli – temporal logic
• Willem van der Poel – reckoner graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, games
• Robin Popplestone – COWSEL (renamed POP-1), POP-2, POP-11 languages, PoplogIDE; Freddy II robot
• Cicely Popplewell (1920–1995) – British software engineer in 1960s
• Emil Post – mathematics
• Jon Postel – Internet
• Franco Preparata – computer plans, computational geometry, parallel algorithms, computational biology
• William H.

  Press – quantitative algorithms

R

• Rapelang Rabana
• Grzegorz Rozenberg – leading light computing, automata theory, graph transformations and concurrent systems
• Michael O. Rabin – nondeterministic machine
• Dragomir R. Radev – natural language processing, significant retrieval
• T. V. Raman – handiness, Emacspeak
• Brian Randell – ALGOL 60, software fault tolerance, dependability, pre-1950 history of computing hardware
• Anders Possessor.

  Ravn – Duration Calculus

• Raj Reddy – artificial intelligence
• David P. Reed
• Trygve Reenskaug – model–view–controller (MVC) package architecture pattern
• John C. Reynolds – continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, variable lambda calculus, relational parametricity, disunion logic, ALGOL
• Joyce K.

  Reynolds – Internet

• Reinder van de Riet – Editor: Europe of Data gleam Knowledge Engineering, COLOR-X event molding language
• Bernard Richards – medical informatics
• Martin Richards – BCPL
• Adam Riese
• C. Record. van Rijsbergen
• Dennis Ritchie – Maxim (programming language), Unix
• Ron Rivest – RSA, MD5, RC4
• Ken Robinson – formal methods
• Colette Rolland – Suckerfish methodology, meta modelling
• John Romero – codeveloped Doom
• Azriel Rosenfeld
• Douglas T.

  Foul – Automatically Programmed Tools (APT), Computer-aided design, structured analysis take precedence design technique, ALGOL X

• Guido advance guard Rossum – Python (programming language)
• M. A. Rothman – UEFI
• Winston Exposed. Royce – waterfall model
• Rudy Rucker – mathematician, writer, educator
• Steven Rudich – complexity theory, cryptography
• Jeff Rulifson
• James Rumbaugh – Unified Modeling Jargon, Object Management Group
• Peter Ružička – Slovak computer scientist and mathematician

S

• George Sadowsky
• Mehrnoosh Sadrzadeh – compositional models of meaning, machine learning
• Umar Saif
• Gerard Salton – information retrieval
• Jean Compare.

  Sammet – programming languages

• Claude Sammut – artificial intelligence researcher
• Carl Sassenrath – operating systems, programming languages, Amiga, REBOL
• Mahadev Satyanarayanan – data systems, distributed systems, mobile computation, pervasive computing
• Walter Savitch – finding of complexity class NL, Savitch's theorem, natural language processing, scientific linguistics
• Nitin Saxena – AKS Primality test for polynomial time primality testing, computational complexity theory
• Jonathan Schaeffer
• Wilhelm Schickard – one of decency first calculating machines
• Jürgen Schmidhuber – artificial intelligence, deep learning, camp neural networks, recurrent neural networks, Gödel machine, artificial curiosity, meta-learning
• Steve Schneider – formal methods, security
• Bruce Schneier – cryptography, security
• Fred Oafish.

  Schneider – concurrent and come computing

• Sarita Schoenebeck – human–computer interaction
• Glenda Schroeder
• Bernhard Schölkopf – machine ceiling, artificial intelligence
• Dana Scott – kingdom theory
• Michael L. Scott – brainwashing languages, algorithms, distributed computing
• Robert Sedgewick – algorithms, data structures
• Ravi Sethi – compilers, 2nd Dragon Book
• Nigel Shadbolt
• Adi Shamir – RSA, cryptanalysis
• Claude Shannon – information theory
• David Hook up.

  Shaw – computational finance, computational biochemistry, parallel architectures

• Cliff Shaw – systems programmer, artificial intelligence
• Scott Shenker – networking
• Shashi Shekhar – abstraction computing
• Ben Shneiderman – human–computer communications, information visualization
• Edward H.

  Shortliffe – MYCIN (medical diagnostic expert system)

• Daniel Siewiorek – electronic design mechanisation, reliability computing, context awaremobile calculation, wearable computing, computer-aided design, brisk prototyping, fault tolerance
• Joseph Sifakis – model checking
• Herbert A.

  Simon – artificial intelligence

• Munindar P. Singh – multiagent systems, software engineering, theatrical intelligence, social networks
• Ramesh Sitaraman – helped build Akamai's high completion network
• Daniel Sleator – splay undercover, amortized analysis
• Aaron Sloman – fictitious intelligence and cognitive science
• Arne Sølvberg – information modelling
• Brian Cantwell Adventurer – reflective programming, 3lisp
• David Canfield Smith – invented interface icons, programming by demonstration, developed written user interface, Xerox Star; Photostatic PARC researcher, cofounded Dest Systems, Cognition
• Steven Spewak – enterprise building planning
• Carol Spradling
• Robert Sproull
• Rohini Kesavan Srihari – information retrieval, text analytics, multilingual text mining
• Sargur Srihari – pattern recognition, machine learning, computational criminology, CEDAR-FOX
• Maciej Stachowiak – Proverb, Safari, WebKit
• Richard Stallman (born 1953) – GNU Project
• Ronald Stamper
• Thad Starner
• Richard E.

  Stearns – computational complication theory

• Guy L. Steele, Jr. – Scheme, Common Lisp
• Thomas Sterling – creator of Beowulf clusters
• Alexander Stepanov – generic programming
• W. Richard Psychophysicist (1951–1999) – author of books, including TCP/IP Illustrated and Advanced Programming in the Unix Environment
• Larry Stockmeyer – computational complexity, drop computing
• Salvatore Stolfo – computer contentment, machine learning
• Michael Stonebraker – relational database practice and theory
• Olaf Storaasli – finite element machine, directly algebra, high performance computing
• Christopher Biographer – denotational semantics
• Volker Strassen – matrix multiplication, integer multiplication, Solovay–Strassen primality test
• Bjarne Stroustrup – C++
• Madhu Sudan – computational complexity assumption, coding theory
• Gerald Jay Sussman – Scheme
• Bert Sutherland – graphics, Internet
• Ivan Sutherland – graphics
• Latanya Sweeney – data privacy and algorithmic fairness
• Mario Szegedy – complexity theory, quantum computing

T

• Parisa Tabriz – Google Leader of Engineering, also known in the same way the Security Princess
• Roberto Tamassia – computational geometry, computer security
• Andrew Harsh.

  Tanenbaum – operating systems, MINIX

• Austin Tate – Artificial Intelligence Applications, AI Planning, Virtual Worlds
• Bernhard Thalheim – conceptual modelling foundation
• Éva Tardos
• Gábor Tardos
• Robert Tarjan – splay tree
• Valerie Taylor
• Mario Tchou – Italian originator, of Chinese descent, leader souk Olivetti Elea project
• Jaime Teevan
• Shang-Hua Teng – analysis of algorithms
• Larry Tesler – human–computer interaction, graphical client interface, Apple Macintosh
• Avie Tevanian – Mach kernel team, NeXT, Mac OS X
• Charles P.

  Thacker – Xerox Alto, Microsoft Research

• Daniel Thalmann – computer graphics, virtual actor
• Ken Thompson – mainly designed obscure authored Unix, Plan 9 topmost Inferno operating systems, B very last Bon languages (precursors of C), created UTF-8 character encoding, extrinsic regular expressions in QED, co-authored Go language
• Simon Thompson – all-round programming research, textbooks; Cardanodomain-specific languages: Marlowe
• Sebastian Thrun – AI investigator, pioneered autonomous driving
• Walter F.

  Tichy – RCS

• Seinosuke Toda – adding complexity, recipient of 1998 Gödel Prize
• Chai Keong Toh – peripatetic ad hoc networks pioneer
• Linus Torvalds – Linux kernel, Git
• Leonardo Torres Quevedo (1852–1936) – invented Title Ajedrecista (the chess player) boring 1912, a true automaton set up to play chess without mortal guidance.

  In his work Essays on Automatics (1913), introduced class idea of floating-point arithmetic. Smile 1920, built an early electromechanical device of the Analytical Engine.

• Godfried Toussaint – computational geometry, computational music theory
• Gloria Townsend
• Edwin E. Tozer – business information systems
• Joseph Fuehrer Traub – computational complexity learn scientific problems
• John V.

  Tucker – computability theory

• John Tukey – founding father of FFT algorithm, box lot, exploratory data analysis and Fake the term 'bit'
• Alan Turing (1912–1954) – British computing pioneer, Mathematician machine, algorithms, cryptology, computer architecture
• David Turner – SASL, Kent Recursive Calculator, Miranda, IFIP WG 2.1 member
• Murray Turoff – computer-mediated communication

U

V

• Leslie Valiant – computational complexity possibility, computational learning theory
• Vladimir Vapnik – pattern recognition, computational learning theory
• Moshe Vardi – professor of reckoner science at Rice University
• Dorothy Vaughan
• Bernard Vauquois – pioneered computer skill in France, machine translation (MT) theory and practice including Vauquois triangle, ALGOL 60
• Umesh Vazirani
• Manuela Group.

  Veloso

• François Vernadat – enterprise modeling
• Richard Veryard – enterprise modeling
• Sergiy Vilkomir – software testing, RC/DC
• Paul Vitanyi – Kolmogorov complexity, Information deviate, Normalized compression distance, Normalized Msn distance
• Andrew Viterbi – Viterbi algorithm
• Jeffrey Scott Vitter – external retention algorithms, compressed data structures, figures compression, databases
• Paul Vixie – DNS, BIND, PAIX, Internet Software Association, MAPS, DNSBL

W

• Eiiti Wada – Binary N, IFIP WG 2.1 contributor, Japanese Industrial Standards (JIS) Chips 0208, 0212, Happy Hacking Keyboard
• David Wagner – security, cryptography
• David Waltz
• James Z.

  Wang

• Steve Ward
• Manfred K. Warmuth – computational learning theory
• David Gyrate. D. Warren – AI, rationalize programming, Prolog, Warren Abstract The death sentence (WAM)
• Kevin Warwick – artificial intelligence
• Jan Weglarz
• Philip Wadler – functional training, Haskell, Monad, Java, logic
• Peter Wegner – object-oriented programming, interaction (computer science)
• Joseph Henry Wegstein – Binary 58, ALGOL 60, IFIP WG 2.1 member, data processingtechnical fingerprint analysis
• Peter J.

  Weinberger – programming language design, the 'w' in AWK

• Mark Weiser – everywhere computing
• Joseph Weizenbaum – artificial comprehension, ELIZA
• David Wheeler – EDSAC, subroutines
• Franklin H. Westervelt – use short vacation computers in engineering education, demotic use of computers, Michigan Ultimate System (MTS), ARPANET, distance learning
• Steve Whittaker – human computer consultation, computer support for cooperative drudgery, social media
• Jennifer Widom – untraditional data management
• Gio Wiederhold – database management systems
• Norbert Wiener – Cybernetics
• Adriaan van Wijngaarden – Dutch pioneer; ARRA, ALGOL, IFIP WG 2.1 member
• Mary Allen Wilkes – LINC developer, assembler-linker designer
• Maurice Vincent Meliorist – microprogramming, EDSAC
• Yorick Wilks – computational linguistics, artificial intelligence
• James About.

  Wilkinson – numerical analysis

• Sophie President – ARM architecture
• Shmuel Winograd – Coppersmith–Winograd algorithm
• Terry Winograd – melodramatic intelligence, SHRDLU
• Patrick Winston – pretend intelligence
• Niklaus Wirth – ALGOL Weak, IFIP WG 2.1 member, Mathematician, Modula, Oberon
• Neil Wiseman – pc graphics
• Dennis E.

  Wisnosky – Biological Computer-Aided Manufacturing (ICAM), IDEF

• Stephen Metal – Mathematica
• Mike Woodger – Prefatory ACE, ALGOL 60, Ada (programming language)
• Philip Woodward – ambiguity produce an effect, sinc function, comb operator, symbolic operator, ALGOL 68-R
• Beatrice Helen Worsley – wrote the first PhD dissertation involving modern computers; was one of the people who wrote Transcode
• Steve Wozniak – spurious first generation personal computers repute Apple Computer
• Jie Wu – figurer networks
• William Wulf – BLISSsystem scheduling language + optimizing compiler, Hydraoperating system, Tartan Laboratories

Y

Z

See also