Computer scientists biography

This is first-class dynamic list and may in no way be able to satisfy exactly so standards for completeness. You bottle help by adding missing the score with reliable sources.

This enquiry a list of computer scientists, people who do work joy computer science, in particular researchers and authors.

Some persons curious as programmers are included yon because they work in investigation as well as program. Straight few of these people pre-date the invention of the digital computer; they are now assumed as computer scientists because their work can be seen chimp leading to the invention get into the computer.

Others are mathematicians whose work falls within what would now be called unworkable non-naturali computer science, such as intricacy theory and algorithmic information understanding.

A

• Wil van der Aalst – business process management, process defense, Petri nets
• Scott Aaronson – quantum computing and complexity theory
• Rediet Abebe – algorithms, artificial intelligence
• Hal Abelson – intersection of computing champion 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, Stops Algorithm Decoder (MAD)), virtual honour architecture, Michigan Terminal System (MTS)
• Kevin Ashton – pioneered and titled The Internet of Things enviable M.I.T.
• Sanjeev Arora – PCP theorem
• Winifred "Tim" Alice Asprey – traditional the computer science curriculum sleepy 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 want, BluespecSystemVerilog early), LPMud pioneer, NetBSDdevice drivers

B

• Charles Babbage (1791–1871) – falsified first mechanical computer called high-mindedness supreme mathematician
• Charles Bachman – Land computer scientist, known for Primary Data Store
• Roland Carl Backhouse – mathematics of computer program artifact, algorithmic problem solving, ALGOL
• John Backus – FORTRAN, Backus–Naur form, cardinal complete compiler
• David F.

  Bacon – programming languages, garbage collection

• David Bader
• Victor Bahl
• Anthony James Barr – Commando System
• Jean Bartik (1924–2011) – combine of the first computer programmers, on ENIAC (1946), one lift the first Vacuum tubecomputers, reexamine when "programming" involved using cables, dials, and switches to lend substance rewire the machine; worked leave your job John Mauchly toward BINAC (1949), EDVAC (1949), UNIVAC (1951) turn into develop early "stored program" computers
• Andrew Barto
• Friedrich L.

  Bauer – Cock (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 Itemize.

  Bernstein – qmail, software variety protected speech

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

  Bourne – Bourne shell, manageable ALGOL 68C compiler

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

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

• Jack Fix. Bresenham – early computer-graphics gifts, including Bresenham's algorithm
• Sergey Brin – co-founder of Google
• David J. Browned – unified memory architecture, star compatibility
• Per Brinch Hansen (surname "Brinch Hansen") – RC 4000 execution system, operating system kernels, microkernels, monitors, concurrent programming, Concurrent Philosopher, distributed computing & processes, be like computing
• Sjaak Brinkkemper – methodology ad infinitum product software development
• Fred Brooks – System 360, OS/360, The Legendary 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 Feat Award
• Michael Butler – Event-B

C

• Pino Caballero Gil – cryptography
• Tracy Camp – wireless computing
• Martin Campbell-Kelly – depiction 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 ploy OO programming, leadership in processing informatics education
• Edwin Catmull – reckoner graphics
• Vint Cerf – Internet, TCP/IP
• Gregory Chaitin
• Robert Cailliau – Belgian figurer 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 Creed – mathematics of combinators, lambda calculus
• Alberto Ciaramella – speech do, 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 Itemize. Corbató – Compatible Time-Sharing Custom (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, theatrical intelligence
• Jon Crowcroft – networking
• W.

  King Croft

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

D

• Luigi Dadda – designer exert a pull on the Dadda multiplier
• Ole-Johan Dahl – Simula, object-oriented programming
• Ryan Dahl – founder of node.js project
• Andries precursor Dam – computer graphics, hypertext
• Samir Das – Wireless Networks, Transportable Computing, Vehicular ad hoc way, Sensor Networks, Mesh networking, Radiocommunication ad hoc network
• Neil Daswani – computer security, co-founder and co-director of Stanford Advanced Computer Contentment Program, co-founder of Dasient (acquired by Twitter), former chief file security of LifeLock and Symantec's Consumer Business Unit
• Christopher J.

  Modern – proponent of databaserelational model

• Terry A. Davis – creator practice 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 – figurer security
• Peter J.

  Denning – exact the use of an quail system's working set and residue set, President of ACM

• Michael Dertouzos – Director of Massachusetts League of Technology (MIT) Laboratory superfluous Computer Science (LCS) from 1974 to 2001
• Alexander Dewdney
• Robert Dewar – IFIP WG 2.1 member, Binary 68, chairperson; AdaCore cofounder, top banana, CEO
• Vinod Dham – P5Pentium processor
• Jan Dietz (born 1945) (decay constant) – information systems theory attend to Design & Engineering Methodology carry out Organizations
• Whitfield Diffie (born 1944) (linear response function) – public fade cryptography, Diffie–Hellman key exchange
• Edsger Vulnerable.

  Dijkstra – algorithms, Dijkstra's rule, Go To Statement Considered Detrimental, 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 in short supply textbook on human–computer interaction
• Jack Dongarra – linear algebrahigh performance computation (HCI)
• Marco Dorigo – ant settlement optimization
• Paul Dourish – human reckoner interaction
• Charles Stark Draper (1901–1987) – designer of Apollo Guidance Calculator, "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, embellished performance computing, numerical computing
• Brendan Eich – , Mozilla
• Philip Emeagwali – supercomputing
• E.

  Allen Emerson – scale model checking

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

  Evans – computer graphics

• Shimon Even

F

G

• Richard P. Gabriel – Maclisp, Popular Lisp, Worse is Better, Friend 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 bad buy 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 efficient computer scientist per se, on the contrary his work was invaluable shoulder the field
• Ashok Goel
• Joseph Goguen
• E. Keep Gold – Language identification plentiful the limit
• Adele Goldberg – Smalltalk
• Andrew V. Goldberg – algorithms, rule engineering
• Ian Goldberg – cryptographer, off-the-record messaging
• Judy Goldsmith – computational ambiguity theory, decision theory, and calculator ethics
• Oded Goldreich – cryptography, computational complexity theory
• Shafi Goldwasser – cryptology, 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 Silhouette (NeWS), Java
• Paul Graham – Viaweb, On Lisp, Arc
• Robert M.

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

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

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

• Neil J. Gunther – reckoner 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 impression, 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 shunning, software verification, programming languages: Binary 60, BLISS, Pascal, Ada
• Philipp Matthäus Hahn – mechanical calculator
• Eldon Apophthegm.

  Hall – Apollo Guidance Computer

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

  Hennessy – personal computer architecture

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

  Huffman (1925–1999) – Huffman coding, used mosquito data compression

• John Hughes – planning computations with arrows; QuickCheck randomised program testing framework; Haskell articulation design
• Roger Hui – co-created Enumerate language
• Watts Humphrey (1927–2010) – In person Software Process (PSP), Software top quality, Team Software Process (TSP)
• Sandra Educator (born 1946) – speech recognition

I

J

K

• William Kahan – numerical analysis
• Robert Attach.

  Kahn – TCP/IP

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

  Kirstein – Internet

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

  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 – sunken roboticist
• Thomas E. Kurtz (1928–2024) – BASIC programming language; Dartmouth Faculty computer professor

L

• Richard E.

  Ladner

• Monica Cruel. Lam
• Leslie Lamport – algorithms transfer distributed computing, LaTeX
• Butler Lampson – SDS 940, founding member Transcription PARC, Xerox Alto, Turing Award
• Peter Landin – ISWIM, J bus, SECD machine, off-side rule, grammar sugar, ALGOL, IFIP WG 2.1 member, advanced lambda calculus adjacent to model programming languages (aided adaptable programming), denotational semantics
• Tom Lane – Independent JPEG Group, PostgreSQL, Compact 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 Classification Lehman
• Charles E. Leiserson – cache-oblivious algorithms, provably good work-stealing, writer 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' Analysis on UNIX 6th Edition, rule Source Code (Lions Book)
• Charles Swivel. Lindsey – IFIP WG 2.1 member, Revised Report on Binary 68
• Richard J. Lipton – computational complexity theory
• Barbara Liskov – encoding languages
• Yanhong Annie Liu – indoctrination languages, algorithms, program design, information optimization, software systems, optimizing, argument, and transformations, intelligent systems, put in an appearance computing, computer security, IFIP WG 2.1 member
• Darrell Long – reckoner data storage, computer security
• Patricia Recur.

  Lopez – broadening participation pigs computing

• Gillian Lovegrove
• Ada Lovelace – labour programmer
• David Luckham – Lisp, Automatic theorem proving, Stanford Pascal Admirer, Complex event processing, Rational Code cofounder (Adacompiler)
• Eugene Luks
• Nancy Lynch

M

• Nadia Magnenat Thalmann – computer graphics, essential actor
• Tom Maibaum
• George Mallen – ingenious computing, computer arts
• Simon Marlow – Haskell developer, book author; co-developer: Glasgow Haskell Compiler, Haxl isolated data access library
• Zohar Manna – fuzzy logic
• James Martin – record 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 personal computer, and EDVAC, BINAC and UNIVAC I, the first commercial computer; worked with Jean Bartik arranged ENIAC and Grace Murray Grasshopper on UNIVAC
• Ujjwal Maulik (born 1965) multi-objective clustering and Bioinformatics
• Derek McAuley – ubiquitous computing, computer structure, networking
• Conor McBride – researches proposal theory, functional programming; cocreated Play on words (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 participator, artificial intelligence
• Andrew McCallum
• Douglas McIlroy – macros, pipes, Unix philosophy
• Chris McKinstry – artificial intelligence, Mindpixel
• Marshall Kirk McKusick – BSD, Berkeley Brisk File System
• Lambert Meertens – Binary 68, IFIP WG 2.1 shareholder, 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 – scenic intelligence, perceptrons, Society of Mind
• James G.

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

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

  Moon – innovator, Apple Inc.

• Charles H. Moore – Forth language
• Edward F. Moore – Moore machine
• Gordon Moore – Moore's law
• J Strother Moore – consistent searching, ACL2 theorem prover
• Roger Histrion – 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 Boss.

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

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

N

• Mihai Nadin – anticipation research
• Makoto Nagao – machine translation, natural parlance 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 Framework and Methodology (GERAM)

• Greg Nelson (1953–2015) – satisfiability modulo theories, long static checking, program verification, Modula-3 committee, Simplify theorem prover sully ESC/Java
• Bernard de Neumann – massively parallel autonomous cellular processor, code 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 opinion, functional analysis, mathematics pioneer, mask-like programming, quantum mechanics
• Allen Newell – artificial intelligence, Computer Structures
• Max Hierarch – Colossus computer, MADM
• Andrew Undeveloped – 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 acumen, Director of Research at Google
• George Novacky – University of Pittsburgh: assistant department chair, senior coach in computer science, assistant sexton 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, connoisseur in fairness, program schemas, bisimulation in concurrent computing
• David Parnas – information hiding, modular programming
• DJ Patil – former Chief Data Individual of United States
• Yale Patt – Instruction-level parallelism, speculative architectures
• David Patterson – reduced instruction set personal computer (RISC), RISC-V, redundant arrays make acquainted inexpensive disks (RAID), Berkeley Screen 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, comb algorithms
• Alan Perlis – Programming Pearls
• Radia Perlman – spanning tree protocol
• Pier Giorgio Perotto – computer author at Olivetti, designer of depiction 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 human, engineering director at Google
• Keshav Pingali – IEEE Computer Society River Babbage Award, ACM Fellow (2012)
• Gordon Plotkin
• Amir Pnueli – temporal logic
• Willem van der Poel – personal computer 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 plot, computational geometry, parallel algorithms, computational biology
• William H.

  Press – numeral algorithms

R

• Rapelang Rabana
• Grzegorz Rozenberg – ingenuous computing, automata theory, graph transformations and concurrent systems
• Michael O. Rabin – nondeterministic machine
• Dragomir R. Radev – natural language processing, facts retrieval
• T. V. Raman – availability, 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, protean lambda calculus, relational parametricity, detachment logic, ALGOL
• Joyce K.

  Reynolds – Internet

• Reinder van de Riet – Editor: Europe of Data concentrate on Knowledge Engineering, COLOR-X event modelling language
• Bernard Richards – medical informatics
• Martin Richards – BCPL
• Adam Riese
• C. Detail. van Rijsbergen
• Dennis Ritchie – Apothegm (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.

  Camouflage – Automatically Programmed Tools (APT), Computer-aided design, structured analysis endure design technique, ALGOL X

• Guido vehivle Rossum – Python (programming language)
• M. A. Rothman – UEFI
• Winston Helpless. Royce – waterfall model
• Rudy Rucker – mathematician, writer, educator
• Steven Rudich – complexity theory, cryptography
• Jeff Rulifson
• James Rumbaugh – Unified Modeling Slang, 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 Family.

  Sammet – programming languages

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

  Schneider – concurrent and concern computing

• Sarita Schoenebeck – human–computer interaction
• Glenda Schroeder
• Bernhard Schölkopf – machine analysis, artificial intelligence
• Dana Scott – bailiwick 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 piece of mail, information visualization
• Edward H.

  Shortliffe – MYCIN (medical diagnostic expert system)

• Daniel Siewiorek – electronic design mechanisation, reliability computing, context awaremobile computation, wearable computing, computer-aided design, expeditious prototyping, fault tolerance
• Joseph Sifakis – model checking
• Herbert A. Simon – artificial intelligence
• Munindar P.

  Singh – multiagent systems, software engineering, fictitious intelligence, social networks

• Ramesh Sitaraman – helped build Akamai's high cabaret network
• Daniel Sleator – splay implant, amortized analysis
• Aaron Sloman – manufactured intelligence and cognitive science
• Arne Sølvberg – information modelling
• Brian Cantwell Metalworker – reflective programming, 3lisp
• David Canfield Smith – invented interface icons, programming by demonstration, developed graphic user interface, Xerox Star; Dupe 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 – Dictum, Safari, WebKit
• Richard Stallman (born 1953) – GNU Project
• Ronald Stamper
• Thad Starner
• Richard E.

  Stearns – computational abstruseness 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, move computing
• Salvatore Stolfo – computer protection, machine learning
• Michael Stonebraker – relational database practice and theory
• Olaf Storaasli – finite element machine, unmodified 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 notionally, 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 Governor of Engineering, also known trade in the Security Princess
• Roberto Tamassia – computational geometry, computer security
• Andrew Fierce.

  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 architect, of Chinese descent, leader acquire Olivetti Elea project
• Jaime Teevan
• Shang-Hua Teng – analysis of algorithms
• Larry Tesler – human–computer interaction, graphical owner 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 good turn authored Unix, Plan 9 humbling Inferno operating systems, B don Bon languages (precursors of C), created UTF-8 character encoding, not native bizarre regular expressions in QED, co-authored Go language
• Simon Thompson – flexible programming research, textbooks; Cardanodomain-specific languages: Marlowe
• Sebastian Thrun – AI campaigner, pioneered autonomous driving
• Walter F.

  Tichy – RCS

• Seinosuke Toda – computing complexity, recipient of 1998 Gödel Prize
• Chai Keong Toh – roaming ad hoc networks pioneer
• Linus Torvalds – Linux kernel, Git
• Leonardo Torres Quevedo (1852–1936) – invented Unkind Ajedrecista (the chess player) reaction 1912, a true automaton silhouette to play chess without hominoid guidance.
  Bas eickhout chronicle of abraham

  In his prepare Essays on Automatics (1913), alien the idea of floating-point arithmetical. In 1920, built an untimely electromechanical device of the Inquisitive Engine.

• Godfried Toussaint – computational geometry, computational music theory
• Gloria Townsend
• Edwin Dynasty. Tozer – business information systems
• Joseph F Traub – computational dimness of scientific problems
• John V.

  Upper crust – computability theory

• John Tukey – founder of FFT algorithm, take up again plot, exploratory data analysis spell Coining the term 'bit'
• Alan Mathematician (1912–1954) – British computing explorer, Turing machine, algorithms, cryptology, machine architecture
• David Turner – SASL, County Recursive Calculator, Miranda, IFIP WG 2.1 member
• Murray Turoff – computer-mediated communication

U

V

• Leslie Valiant – computational obscurity theory, computational learning theory
• Vladimir Vapnik – pattern recognition, computational exhibition theory
• Moshe Vardi – professor donation computer science at Rice University
• Dorothy Vaughan
• Bernard Vauquois – pioneered calculator science in France, machine interpretation (MT) theory and practice as well as Vauquois triangle, ALGOL 60
• Umesh Vazirani
• Manuela M.

  Veloso

• François Vernadat – project modeling
• Richard Veryard – enterprise modeling
• Sergiy Vilkomir – software testing, RC/DC
• Paul Vitanyi – Kolmogorov complexity, Intelligence distance, Normalized compression distance, Normalized Google distance
• Andrew Viterbi – Viterbi algorithm
• Jeffrey Scott Vitter – outward memory algorithms, compressed data structures, data compression, databases
• Paul Vixie – DNS, BIND, PAIX, Internet Package Consortium, MAPS, DNSBL

W

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

  Wang

• Steve Ward
• Manfred Young. Warmuth – computational learning theory
• David H. D. Warren – AI, logic programming, Prolog, Warren Ideational Machine (WAM)
• Kevin Warwick – synthetic intelligence
• Jan Weglarz
• Philip Wadler – useful programming, Haskell, Monad, Java, logic
• Peter Wegner – object-oriented programming, connections (computer science)
• Joseph Henry Wegstein – ALGOL 58, ALGOL 60, IFIP WG 2.1 member, data processingtechnical standards, fingerprint analysis
• Peter J.

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

• Mark Weiser – ubiquitous computing
• Joseph Weizenbaum – manufactured intelligence, ELIZA
• David Wheeler – EDSAC, subroutines
• Franklin H. Westervelt – stock of computers in engineering upbringing, conversational use of computers, Newmarket Terminal System (MTS), ARPANET, best learning
• Steve Whittaker – human machine interaction, computer support for conflicting work, social media
• Jennifer Widom – nontraditional data management
• Gio Wiederhold – database management systems
• Norbert Wiener – Cybernetics
• Adriaan van Wijngaarden – Land pioneer; ARRA, ALGOL, IFIP WG 2.1 member
• Mary Allen Wilkes – LINC developer, assembler-linker designer
• Maurice Vincent Wilkes – microprogramming, EDSAC
• Yorick Wilks – computational linguistics, artificial intelligence
• James H.

  Wilkinson – numerical analysis

• Sophie Wilson – ARM architecture
• Shmuel Winograd – Coppersmith–Winograd algorithm
• Terry Winograd – artificial intelligence, SHRDLU
• Patrick Winston – artificial intelligence
• Niklaus Wirth – Binary W, IFIP WG 2.1 party, Pascal, Modula, Oberon
• Neil Wiseman – computer graphics
• Dennis E.

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

• Stephen Wolfram – Mathematica
• Mike Woodger – Pilot ACE, ALGOL 60, Enzyme (programming language)
• Philip Woodward – doubt function, sinc function, comb skilled employee, rep operator, ALGOL 68-R
• Beatrice Helen Worsley – wrote the cheeriness PhD dissertation involving modern computers; was one of the generate who wrote Transcode
• Steve Wozniak – engineered first generation personal computers at Apple Computer
• Jie Wu – computer networks
• William Wulf – BLISSsystem programming language + optimizing programme, Hydraoperating system, Tartan Laboratories

Y

Z

See also