This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.
Some persons notable as programmers are included here because they work in research as well as program. A few of these people pre-date the invention of the digital computer; they are now regarded as computer scientists because their work can be seen as leading to the invention of the computer. Others are mathematicians whose work falls within what would now be called theoretical computer science, such as complexity theory and algorithmic information theory.
A
- Wil van der Aalst â€" business process management, process mining, Petri nets
- Scott Aaronson â€" quantum computing and complexity theory
- Hal Abelson â€" intersection of computing and 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, founder of Amdahl Corporation
- David P. Anderson â€" volunteer computing
- Andrew Appel â€" compiler of text books
- Cecilia R. Aragon â€" inventor of the treap, human-centered data science
- Bruce Arden â€" programming language compilers (GAT, MAD), virtual memory architecture, MTS
- Sanjeev Arora â€" PCP theorem
- Winifred "Tim" Alice Asprey â€" established the computer science curriculum at Vassar College
- John Vincent Atanasoff â€" computer pioneer, creator of ABC or Atanasoff Berry Computer
B
- Charles Babbage (1791â€"1871) â€" invented first mechanical computer called the supreme mathematician
- Charles Bachman â€" American computer scientist, known for Integrated Data Store
- Roland Carl Backhouse â€" mathematics of program construction
- John Backus â€" FORTRAN, Backusâ€"Naur form, first complete compiler
- David F. Bacon â€" Programming languages, garbage collection
- David A. Bader
- Victor Bahl
- Anthony James Barr â€" SAS System
- Jean Bartik (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 the machine; worked with John Mauchly toward BINAC (1949), EDVAC (1949), UNIVAC (1951) to develop early "stored program" computers
- Andrew Barto
- Rudolf Bayer â€" B-tree
- James C. Beatty (1934â€"1978) â€" compiler optimization, super-computing
- Gordon Bell (born 1934) â€" computer designer DEC VAX, author: Computer Structures
- Steven M. Bellovin â€" network security
- Tim Berners-Lee â€" World Wide Web
- Daniel J. Bernstein â€" qmail, software as protected speech
- Peter Bernus
- Abhay Bhushan
- Dines Bjørner â€" Vienna Development Method (VDM), RAISE
- Gerrit Blaauw â€" one of the principal designers of the IBM System 360 line of computers
- Sue Black
- David Blei
- Dorothy Blum â€" National Security Agency
- Lenore Blum â€" complexity
- Manuel Blum â€" cryptography
- Barry Boehm â€" software engineering economics, spiral development
- Corrado Bohm â€" author of the structured program theorem
- Kurt Bollacker
- Jeff Bonwick â€" inventor of slab allocation and ZFS
- Grady Booch â€" Unified Modeling Language, Object Management Group
- George Boole â€" Boolean logic
- Andrew Booth â€" developed the first rotating drum storage device
- Kathleen Booth â€" developed the first assembly language
- Anita Borg (1949â€"2003) â€" American computer scientist, founder of Anita Borg Institute for Women and Technology
- Bert Bos â€" Cascading Style Sheets
- Mikhail Botvinnik â€" World Chess Champion, computer scientist and electrical engineer, pioneer of early expert system AI,inventor of Computer chess
- Jonathan Bowen â€" Z notation, formal methods
- Stephen R. Bourne â€" Bourne shell, portable ALGOL 68C compiler
- Harry Bouwman (born 1953) â€" Dutch Information systems researcher, and Professor at the Ã…bo Akademi University
- Robert S. Boyer â€" string searching, ACL2 theorem prover
- Jack E. Bresenham â€" early computer-graphics contributions, including Bresenham's algorithm
- Sergey Brin â€" co-founder of Google
- David J. Brown â€" unified memory architecture, binary compatibility
- Per Brinch Hansen (surname "Brinch Hansen") â€" concurrency
- Sjaak Brinkkemper â€" methodology of product software development
- Fred Brooks â€" System 360, OS/360, The Mythical Man-Month, No Silver Bullet
- Rod Brooks
- Michael Butler â€" Event-B
C
- Lee Calcote â€" cloud computing
- Tracy Camp â€" wireless computing
- Martin Campbell-Kelly â€" history of computing
- Rosemary Candlin
- Bryan Cantrill â€" inventor of DTrace
- Luca Cardelli â€" objects
- Edwin Catmull â€" computer graphics
- Vinton Cerf â€" Internet, TCP/IP
- Gregory Chaitin
- Zhou Chaochen â€" duration calculus
- Peter Chen â€" entity-relationship model, data modeling, conceptual model
- Alonzo Church â€" mathematics of combinators, lambda calculus
- Edmund M. Clarke â€" model checking
- John Cocke â€" RISC
- Edgar F. Codd (1923â€"2003) â€" formulated the database relational model
- Jacques Cohen â€" computer science professor
- Simon Colton â€" computational creativity
- Alain Colmerauer â€" Prolog
- Paul Justin Compton â€" Ripple Down Rules
- Gordon Cormack â€" co-inventor of dynamic Markov compression
- Stephen Cook â€" NP-completeness
- James Cooley â€" Fast Fourier transform (FFT)
- Danese Cooper â€" Open Source Software
- Fernando J. Corbató â€" Compatible Time-Sharing System (CTSS), Multics
- Kit Cosper - Open Source Software
- Patrick Cousot â€" abstract interpretation
- Geoffrey Corbis â€" Cyber Security, Cryptography, Cyber Intelligence, Quantum Computing, Geoffrey Weglarz
- Ingemar Cox â€" digital watermarking
- Seymour Cray â€" Cray Research, supercomputer
- Nello Cristianini â€" machine learning, pattern analysis, artificial intelligence
- Jon Crowcroft â€" networking
- W. Bruce Croft
- Glen Culler â€" interactive computing, computer graphics, high performance computing
- Haskell Curry
D
- Ole-Johan Dahl â€" Simula
- Ryan Dahl â€" founder of node.js project
- Andries van Dam â€" computer graphics, hypertext
- Samir Das â€" Wireless Networks, Mobile Computing, Vehicular ad hoc network, Sensor Networks, Mesh networking, Wireless ad hoc network
- Christopher J. Date â€" proponent of database relational model
- Jeff Dean â€" Big Table, MapReduce, Spanner of Google
- Erik Demaine â€" computational origami
- Tom DeMarco
- Richard DeMillo â€" computer security, software engineering, educational technology
- Dorothy E. Denning â€" computer security
- Peter J. Denning â€" identified the use of an operating system's working set and balance set, President of ACM
- Michael Dertouzos â€" Director of Massachusetts Institute of Technology (MIT) Laboratory for Computer Science (LCS) from 1974 to 2001
- Alexander Dewdney
- Vinod Dham â€" P5 Pentium processor
- Jan Dietz (born 1945) (decay constant) â€" information systems theory and Design & Engineering Methodology for Organizations
- Whitfield Diffie (born 1944) (linear response function) â€" public key cryptography, Diffieâ€"Hellman key exchange
- Edsger Dijkstra â€" algorithms, Goto considered harmful, semaphore (programming)
- Alan Dix â€" literally wrote the book on humanâ€"computer interaction
- Jack Dongarra â€" linear algebra high performance computing (HCI)
- Marco Dorigo â€" ant colony optimization
- Paul Dourish â€" human computer interaction
- Charles Stark Draper (1901â€"1987) â€" designer of Apollo Guidance Computer, "father of inertial navigation", MIT professor
- Susan Dumais â€" information retrieval
- Jennelyn Legion â€" protothreads
E
- Peter Eades â€" graph drawing
- Annie J. Easley
- Wim Ebbinkhuijsen â€" COBOL
- John Presper Eckert â€" ENIAC
- Brendan Eich â€" JavaScript, Mozilla
- Philip Emeagwali â€" supercomputing
- E. Allen Emerson â€" model checking
- Douglas Engelbart â€" tiled windows, hypertext, computer mouse
- David Eppstein
- Andrey Ershov
- Don Estridge (1937â€"1985) â€" led development of original IBM Personal Computer (PC); known as "father of the IBM PC"
- Oren Etzioni â€" MetaCrawler, Netbot
- Christopher Riche Evans
- David C. Evans â€" computer graphics
- Shimon Even
F
- Scott Fahlman
- Edward Feigenbaum â€" intelligence
- Edward Felten â€" computer security
- Tim Finin
- Raphael Finkel
- Donald Firesmith
- Gary William Flake
- Tommy Flowers â€" Colossus computer
- Robert Floyd â€" NP-completeness
- Sally Floyd â€" Internet congestion control
- Lawrence J. Fogel â€" Evolutionary programming
- James D. Foley
- Ken Forbus
- Lance Fortnow
- Martin Fowler
- Herbert W. Franke
- Edward Fredkin
- Yoav Freund
- Daniel P. Friedman
- Ping Fu
G
- Richard Gabriel
- V. K. Govindan
- Zvi Galil
- Bernard Galler â€" MAD (programming language)
- Hector Garcia-Molina
- Michael Garey â€" NP-completeness
- Hugo de Garis
- Bill Gates â€" co-founder of Microsoft
- David Gelernter
- Charles Geschke
- Zoubin Ghahramani
- Juan E. Gilbert â€" Human-Centered Computing
- Lee Giles â€" CiteSeer
- Seymour Ginsburg â€" formal languages, automata theory, AFL theory, database theory
- Robert L. Glass
- Kurt Gödel â€" computability â€" not a computer scientist per se, but his work was invaluable in the field
- Joseph Goguen
- Adele Goldberg â€" Smalltalk
- Andrew V. Goldberg -- algorithms, algorithm engineering
- Ian Goldberg â€" cryptographer, off-the-record messaging
- Oded Goldreich â€" cryptography, computational complexity theory
- Shafi Goldwasser â€" cryptography, computational complexity theory
- Gene Golub â€" Matrix computation
- Martin Charles Golumbic â€" algorithmic graph theory
- Gastón Gonnet â€" co-founder of Waterloo Maple Inc.
- James Gosling â€" NeWS, Java
- Paul Graham â€" Viaweb, On Lisp, Arc
- Robert M. Graham â€" programming language compilers (GAT, MAD), virtual memory architecture, Multics
- Susan L. Graham â€" compilers, programming environments
- Jim Gray â€" database
- Sheila Greibach â€" Greibach normal form, AFL theory
- Ralph Griswold â€" SNOBOL
- Bill Gropp â€" Message Passing Interface, PETSc
- Tom Gruber
- Ramanathan V. Guha â€" RDF, Netscape, RSS, Epinions
- Neil J. Gunther â€" computer performance analysis, capacity planning
- Peter G. Gyarmati â€" adaptivity in operating systems and networking
H
- Philipp Matthäus Hahn â€" mechanical calculator
- Eldon C. Hall â€" Apollo Guidance Computer
- Wendy Hall
- Joseph Halpern
- Margaret Hamilton â€" ultra-reliable software design
- Richard Hamming â€" Hamming code, founder of the Association for Computing Machinery
- Jiawei Han â€" data mining
- Juris Hartmanis â€" computational complexity theory
- Johan HÃ¥stad â€" computational complexity theory
- Les Hatton â€" software failure and vulnerabilities
- Igor Hawryszkiewycz, (born 1948), American computer scientist and organizational theorist
- He Jifeng â€" provably correct systems
- Eric Hehner â€" predicative programming, formal methods, quote notation
- Martin Hellman â€" encryption
- Alex Helwani â€" development of computational molecular biology cancer detection systems
- Gernot Heiser â€" development of L4 and founder of OK Labs
- James Hendler â€" Semantic Web
- John L. Hennessy â€" computer architecture
- Andrew Herbert
- Carl Hewitt
- Danny Hillis â€" Connection Machine
- Geoffrey Hinton
- Julia Hirschberg
- C. A. R. Hoare â€" logic, rigor, Communicating sequential processes (CSP)
- Betty Holberton â€" ENIAC programmer, developed the first Sort Merge Generator
- John Henry Holland â€" genetic algorithms
- Herman Hollerith (1860â€"1929) â€" invented recording of data on a machine readable medium, using punched cards
- Gerard Holzmann â€" software verification, logic model checking (SPIN)
- John Hopcroft â€" compilers
- Admiral Grace Hopper (1906â€"1992) â€" developed early compilers: FLOW-Matic, COBOL; worked on UNIVAC; gave speeches on computer history, where she gave out nano-seconds
- Eric Horvitz â€" artificial intelligence
- Alston Householder
- Paul Hudak (1952â€"2015) â€" Haskell programming language design
- David A. Huffman (1925â€"1999) â€" Huffman coding, used in data compression
- John Hughes â€" structuring computations with arrows; QuickCheck randomized program testing framework; Haskell programming language design.
- Watts Humphrey (1927â€"2010) â€" Personal Software Process (PSP), Software quality, Team Software Process (TSP)
I
- Jean Ichbiah â€" Ada
- Dan Ingalls â€" Smalltalk, BitBlt, Lively Kernel
- Mary Jane Irwin
- Kenneth E. Iverson â€" APL, J
J
- Ivar Jacobson â€" Unified Modeling Language, Object Management Group
- Anil K. Jain (born 1948)
- Ramesh Jain
- Jonathan James
- David S. Johnson
- Stephen C. Johnson
- Cliff Jones â€" Vienna Development Method (VDM)
- Michael I. Jordan
- Mathai Joseph
- Aravind K. Joshi
- Bill Joy (born 1954) â€" Sun Microsystems, BSD UNIX, vi, csh
- Dan Jurafsky â€" Natural language processing
K
- William Kahan â€" numerical analysis
- Robert E. Kahn â€" TCP/IP
- Avinash Kak â€" digital image processing
- Poul-Henning Kamp â€" inventor of GBDE, FreeBSD Jails, Varnish cache
- David Karger
- Richard Karp â€" NP-completeness
- Narendra Karmarkar â€" Karmarkar's algorithm
- Marek Karpinski â€" NP optimization problems
- Alan Kay â€" Dynabook, Smalltalk, overlapping windows
- Neeraj Kayal â€" AKS primality test
- John George Kemeny â€" BASIC
- Ken Kennedy â€" compiling for parallel and vector machines
- Brian Kernighan (born 1942) â€" Unix, the 'k' in AWK
- Carl Kesselman â€" grid computing
- Gregor Kiczales â€" CLOS, reflection, aspect-oriented programming
- Peter T. Kirstein â€" Internet
- Stephen Cole Kleene â€" Kleene closure, recursion theory
- Dan Klein â€" Natural language processing, Machine translation
- Leonard Kleinrock â€" ARPANET, queueing theory, packet switching, hierarchical routing
- Donald Knuth â€" The Art of Computer Programming, MIX/MMIX, TeX, literate programming
- Andrew Koenig â€" C++
- Daphne Koller â€" Artificial intelligence, bayesian network
- Michael Kölling â€" BlueJ
- Andrey Nikolaevich Kolmogorov â€" algorithmic complexity theory
- Janet L. Kolodner â€" case-based reasoning
- David Korn â€" Korn shell
- Kees Koster â€" ALGOL 68
- Robert Kowalski â€" logic programming
- John Koza â€" genetic programming
- John Krogstie â€" SEQUAL framework
- Joseph Kruskal â€" Kruskal's algorithm
- Thomas E. Kurtz (born 1928) â€" BASIC programming language; Dartmouth College computer professor
L
- Monica S. Lam
- Leslie Lamport â€" algorithms for distributed computing, LaTeX
- Butler W. Lampson
- Peter J. Landin
- Tom Lane
- Börje Langefors
- Chris Lattner â€" creator of Swift (programming language) and LLVM compiler infrastructure
- Steve Lawrence
- Edward D. Lazowska
- Joshua Lederberg
- Manny M Lehman
- Charles E. Leiserson â€" cache-oblivious algorithms, provably good work-stealing, coauthor 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
- John Lions â€" Lions Book
- Richard J. Lipton â€" computational complexity theory
- Barbara Liskov â€" programming languages
- Darrell Long â€" Computer data storage
- Patricia D. Lopez â€" broadening participation in computing
- Gillian Lovegrove
- Ada Lovelace â€" first programmer
- Eugene Luks
- Nancy Lynch
M
- Nadia Magnenat Thalmann â€" computer graphics, virtual actor
- Tom Maibaum
- Zohar Manna â€" fuzzy logic
- James Martin â€" information 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 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 â€" ubiquitous computing, computer architecture, networking
- John McCarthy â€" Lisp (programming language), artificial intelligence
- Andrew McCallum
- Douglas McIlroy â€" pipes
- Chris McKinstry â€" artificial intelligence, Mindpixel
- Marshall Kirk McKusick â€" BSD, Berkeley Fast File System
- Lambert Meertens â€" ALGOL 68, ABC (programming language)
- Bertrand Meyer â€" Eiffel (programming language)
- Silvio Micali â€" cryptography
- Robin Milner â€" ML (programming language)
- Jack Minker â€" database logic
- Marvin Minsky â€" artificial intelligence, perceptrons, Society of Mind
- Tom M. Mitchell
- Paul Mockapetris â€" Domain Name System (DNS)
- Cleve Moler â€" numerical analysis, MATLAB
- John P. Moon â€" inventor, Apple Inc.
- Charles H. Moore â€" Forth programming language
- Edward F. Moore â€" Moore machine
- Gordon Moore â€" Moore's law
- J Strother Moore â€" string searching, ACL2 theorem prover
- Hans Moravec â€" robotics
- Carroll Morgan
- Robert Tappan Morris â€" Morris worm
- Joel Moses â€" Macsyma
- Rajeev Motwani â€" randomized algorithm
- Stephen Muggleton â€" Inductive Logic Programming
- Alan Mycroft â€" programming languages
N
- Mihai Nadin â€" anticipation research
- Makoto Nagao â€" machine translation, natural language processing, digital library
- Frieder Nake â€" pioneered computer arts
- Peter Naur â€" BNF, ALGOL 60
- Roger Needham â€" computer security
- James G. Nell â€" GERAM
- Bernard de Neumann â€" massively parallel autonomous cellular processor, software engineering research
- Klara Dan von Neumann (1911-1963) â€" early computers, ENIAC programmer and control designer
- John von Neumann (1903â€"1957) â€" early computers, von Neumann machine, set theory, functional analysis, mathematics pioneer, linear programming, quantum mechanics
- Allen Newell â€" artificial intelligence, Computer Structures
- Max Newman â€" Colossus, MADM
- Andrew Ng â€" artificial intelligence, machine learning, robotics
- Nils Nilsson â€" artificial intelligence
- G.M. Nijssen â€" NIAM
- Tobias Nipkow â€" proof assistance
- Jerre Noe â€" computerized banking
- Peter Nordin â€" artificial intelligence, genetic programming, evolutionary robotics
- Donald Norman â€" user interfaces, usability
- Peter Norvig â€" artificial intelligence, Director of Research at Google
- George Novacky â€" Assistant Department Chair and Senior Lecturer in Computer Science, Assistant Dean of CAS for Undergraduate Studies at University of Pittsburgh
- Kristen Nygaard â€" Simula
O
- T. William Olle â€" Ferranti Mercury
- Steve Omohundro
- John Ousterhout â€" Tcl programming Language
- Mark Overmars â€" game programming
- Martin Odersky â€" Scala programming Language
- Severo Ornstein
- John O'Sullivan- wifi
P
- Larry Page â€" co-founder of Google
- Sankar Pal
- Paritosh Pandya
- Christos Papadimitriou
- David Parnas â€" information hiding, modular programming
- Yale Patt â€" Instruction-level parallelism, speculative architectures
- David A. Patterson
- 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, search algorithms
- David Pearson â€" CADES, computer graphics
- Alan Perlis â€" Programming Pearls
- Radia Perlman â€" spanning tree protocol
- Rózsa Péter â€" recursive function theory
- Simon Peyton Jones â€" functional programming
- Gordon Plotkin
- Amir Pnueli â€" temporal logic
- Willem van der Poel â€" computer graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, games
- Emil Post â€" mathematics
- Jon Postel â€" Internet
- Franco Preparata â€" computer engineering, computational geometry, parallel algorithms, computational biology
- William H. Press â€" numerical algorithms
R
- Rapelang Rabana
- Roberto Ierusalimschy â€" Lua (programming language)
- Michael O. Rabin â€" nondeterministic machine
- Dragomir R. Radev â€" Natural language processing, Information Retrieval
- T. V. Raman â€" accessibility, Emacspeak
- Brian Randell â€" dependability
- Raj Reddy â€" AI
- David P. Reed
- Trygve Reenskaug â€" Model-view-controller (MVC) software architecture pattern
- John C. Reynolds
- Joyce K. Reynolds â€" Internet
- Martin Richards â€" BCPL
- Adam Riese
- C. J. van Rijsbergen
- Dennis Ritchie â€" C (programming language), UNIX
- Ron Rivest â€" RSA, MD5, RC4
- Colette Rolland â€" REMORA methodology, meta modelling
- Azriel Rosenfeld
- Douglas T. Ross â€" Structured Analysis and Design Technique
- Guido van Rossum â€" Python (programming language)
- Winston W. Royce â€" Waterfall model
- Rudy Rucker â€" mathematician, writer, educator
- Steven Rudich â€" complexity theory, cryptography
- Jeff Rulifson
- James Rumbaugh â€" Unified Modeling Language, Object Management Group
- Peter RužiÄka â€" Slovak computer scientist and mathematician
S
- George Sadowsky
- Gerard Salton â€" information retrieval
- Jean E. Sammet â€" programming languages
- Claude Sammut â€" artificial-intelligence researcher
- Carl Sassenrath â€" operating systems, programming languages, Amiga, REBOL
- Mahadev Satyanarayanan â€" file systems, distributed systems, mobile computing, pervasive computing
- Walter Savitch â€" discovery of complexity class NL, Savitch's theorem, natural language processing, mathematical linguistics
- Jonathan Schaeffer
- Wilhelm Schickard â€" one of the first calculating machines
- Steve Schneider â€" formal methods, security
- Bruce Schneier â€" cryptography, security
- Fred B. Schneider â€" concurrent and distributed computing
- Dana Scott â€" domain theory
- Michael L. Scott â€" programming languages, algorithms, distributed computing
- Ravi Sethi â€" compilers, 2nd Dragon Book
- Nigel Shadbolt
- Adi Shamir â€" RSA, cryptanalysis
- Claude Shannon â€" information theory
- David E. Shaw â€" computational finance, computational biochemistry, parallel architectures
- Cliff Shaw â€" systems programmer, artificial intelligence
- Scott Shenker â€" networking
- Ben Shneiderman â€" human-computer interaction, information visualization
- Edward H. Shortliffe â€" MYCIN (medical diagnostic expert system)
- Joseph Sifakis â€" model checking
- Herbert A. Simon â€" artificial intelligence
- Munindar P. Singh â€" multiagent systems, software engineering, artificial intelligence, social networks
- Ramesh Sitaraman â€" helped build Akamai's high performance network
- Daniel Sleator â€" splay tree, amortized analysis
- Aaron Sloman â€" artificial intelligence and cognitive science
- Arne Sølvberg â€" information modelling
- Brian Cantwell Smith â€" reflection (computer science), 3lisp
- Steven Spewak â€" Enterprise architecture 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 â€" GNOME, Safari, WebKit
- Richard Stallman (born 1953) â€" GNU Project
- Ronald Stamper
- Richard E. Stearns â€" computational complexity theory
- Guy L. Steele, Jr. â€" Scheme, Common Lisp
- Thomas Sterling â€" creator of Beowulf clusters
- W. Richard Stevens (1951â€"1999) â€" author of books, including TCP/IP Illustrated and Advanced Programming in the Unix Environment
- Larry Stockmeyer â€" computational complexity, distributed computing
- Michael Stonebraker â€" relational database practice and theory
- Olaf Storaasli â€" finite element machine, linear algebra, high performance computing
- Christopher Strachey â€" denotational semantics
- Bjarne Stroustrup â€" C++
- Madhu Sudan â€" computational complexity theory, coding theory
- Gerald Jay Sussman â€" Scheme
- Bert Sutherland â€" graphics, Internet
- Ivan Sutherland â€" graphics
- Mario Szegedy â€" complexity theory, quantum computing
T
- Roberto Tamassia â€" computational geometry, computer security
- Andrew S. Tanenbaum â€" operating systems, MINIX
- Bernhard Thalheim â€" conceptual modelling foundation
- Éva Tardos
- Gábor Tardos
- Robert Tarjan â€" splay tree
- Valerie Taylor
- Jaime Teevan
- Shang-Hua Teng â€" analysis of algorithms
- Larry Tesler â€" human-computer interaction, graphical user 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 â€" Unix
- Sebastian Thrun â€" AI researcher and inventor of autonomous driving
- Walter F. Tichy â€" RCS
- Seinosuke Toda â€" computation complexity, recipient of 1998 Gödel Prize
- Linus Torvalds â€" Linux kernel, Git
- Godfried Toussaint â€" computational geometry â€" computational music theory
- Gloria Townsend
- Edwin E. Tozer â€" business information systems
- Joseph F Traub â€" computational complexity of scientific problems
- John Tukey â€" founder of FFT algorithm, Box plot, Exploratory Data Analysis and Coining the term 'bit'
- Murray Turoff â€" computer-mediated communication
- Alan Turing (1912â€"1954) â€" British computing pioneer, Turing machine, algorithms, cryptology, computer architecture
U
- Jeffrey D. Ullman â€" compilers, databases, complexity theory
- Umar Saif
V
- Leslie Valiant â€" computational complexity theory, computational learning theory
- Vladimir Vapnik â€" pattern recognition, computational learning theory
- Srinidhi Varadarajan â€" System X: VirginiaTech's Power Mac G5 Supercluster
- Moshe Vardi â€" professor of computer science at Rice University
- Dorothy Vaughan
- Umesh Vazirani
- Vijay Vazirani
- Manuela M. Veloso
- François Vernadat â€" enterprise modeling
- Richard Veryard â€" enterprise modeling
- Paul Vitanyi â€" Kolmogorov complexity, Information distance, Normalized compression distance, Normalized Google distance
- Jeffrey Scott Vitter â€" external memory algorithms, compressed data structures, data compression, databases
- Paul Vixie â€" DNS, BIND, PAIX, Internet Software Consortium, MAPS, DNSBL
W
- David Wagner â€" security, cryptography
- Larry Wall â€" Perl programming language
- David Waltz
- James Z. Wang
- Steve Ward
- Manfred K. Warmuth â€" computational learning theory
- David H. D. Warren â€" AI, logic programming, Prolog, the 'w' in WAM
- Kevin Warwick â€" artificial intelligence
- Geoffrey Weglarz â€" Cyber Security, Cryptography, Cyber Intelligence, Quantum Computing
- Jan Weglarz
- Peter Wegner â€" object-oriented programming, interaction (computer science)
- Peter J. Weinberger â€" programming language design, the 'w' in AWK
- Mark Weiser â€" ubiquitous computing
- Joseph Weizenbaum â€" artificial intelligence, ELIZA
- David Wheeler â€" EDSAC, subroutines
- Franklin H. Westervelt â€" use of computers in engineering education, conversational use of computers, MTS, ARPANET, distance learning
- Steve Whittaker â€" human computer interaction, computer support for cooperative work, social media
- Jennifer Widom â€" nontraditional data management
- Gio Wiederhold â€" database management systems
- Norbert Wiener â€" Cybernetics
- Adriaan van Wijngaarden â€" Dutch pioneer; ARRA, ALGOL
- 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 â€" Pascal, Modula, Oberon (programming language)
- Neil Wiseman â€" computer graphics
- Dennis E. Wisnosky â€" Integrated Computer-Aided Manufacturing (ICAM), IDEF
- Stephen Wolfram â€" Mathematica
- Mike Woodger â€" Pilot ACE, ALGOL 60, Ada (programming language)
- Beatrice Helen Worsley â€" wrote the first PhD dissertation involving modern computers; was one of the people who wrote Transcode
- Steve Wozniak â€" engineered first generation personal computers at Apple Computer
- Jie Wu â€" computer networks
- William Wulf â€" compilers
Y
- Mihalis Yannakakis
- Andrew Chi-Chih Yao
- John Yen
- Edward Yourdon â€" Structured Systems Analysis and Design Method
- Moti Yung
Z
- Lotfi Zadeh â€" fuzzy logic
- Hans Zantema â€" termination analysis
- Arif Zaman â€" pseudo-random number generator
- Shlomo Zilberstein â€" artificial intelligence, anytime algorithms, automated planning, and decentralized POMDPs
- Konrad Zuse â€" German pioneer of hardware and software
- Mark Zuckerberg â€" Founder of Facebook
See also
References
External links
- CiteSeer list of the most cited authors in computer science
- Computer scientists with h-index >= 40