List of computer scientists


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
  • 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, father of computer
  • 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 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 tubecomputers, 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
  • 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
  • Anita Borg (1949–2003) – American computer scientist, founder of Anita Borg Institute for Women and Technology
  • Bert Bos – Cascading Style Sheets
  • 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-MonthNo Silver Bullet
  • Rod Brooks
  • Michael Butler – Event-B

C

  • 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
  • Patrick Cousot – abstract interpretation
  • 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

  • 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
  • Adam Dunkels – 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
  • James D. Foley
  • Ken Forbus
  • Lance Fortnow
  • Martin Fowler
  • Herbert W. Franke
  • 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
  • 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
  • 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
  • Danny Hillis – Connection Machine
  • Geoffrey Hinton
  • Julia Hirschberg
  • C. A. R. Hoare – logic, rigor, Communicating sequential processes (CSP)
  • 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)
  • Janice Honeyman – graphics, hospital systems
  • John Hopcroft – compilers
  • Admiral Grace Hopper (1906–1992) – developed early compilers: FLOW-Matic, COBOL; worked on UNIVAC; gave speeches on computer history, where when 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; Haskellprogramming 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

  • Steve Jobs - Founder of Apple Inc.
  • 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
  • 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 onUNIVAC
  • Derek McAuley – ubiquitous computing, computer architecture, networking
  • Richard McBride – professor of computer science at South Dakota
  • 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)
  • 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.
  • 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
  • James G. Nell – GERAM
  • Bernard de Neumann – massively parallel autonomous cellular processor, software engineering research
  • 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
  • Jerre Noe
  • Emmy Noether
  • 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

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
  • 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
  • Michael O. Rabin – nondeterministic machines
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Manfred K. Warmuth – computational learning theory
  • David H. D. Warren – AI, logic programming, Prolog, the 'w' in WAM
  • Kevin Warwick – artificial intelligence
  • 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
  • Niklaus Wirth – Pascal, Modula, Oberon (programming language)
  • Neil Wiseman – computer graphics
  • Dennis E. Wisnosky – Integrated Computer-Aided Manufacturing (ICAM), IDEF
  • Stephen Wolfram – Mathematica
  • Beatrice Helen Worsley – wrote the first PhD dissertation involving modern computers; was one of the people who wroteTranscode
  • 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


Related Posts Plugin for WordPress, Blogger...
List of computer scientists List of computer scientists Reviewed by Lil way on 06:36 Rating: 5

No comments:

Powered by Blogger.