---
title: "List of computer scientists"
chunk: 1/7
source: "https://en.wikipedia.org/wiki/List_of_computer_scientists"
category: "reference"
tags: "science, encyclopedia"
date_saved: "2026-05-05T04:00:53.571776+00:00"
instance: "kb-cron"
---

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
Rediet Abebe – algorithms, artificial intelligence
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, Amdahl Corporation founder
David P. Anderson – volunteer computing
Lisa Anthony – natural user interfaces
Andrew Appel – compiler of text books
Cecilia R. Aragon – invented treap, human-centered data science
Bruce Arden – programming language compilers (GAT, Michigan Algorithm Decoder (MAD)), virtual memory architecture, Michigan Terminal System (MTS)
Kevin Ashton – pioneered and named The Internet of Things at M.I.T.
Sanjeev Arora – PCP theorem
Winifred "Tim" Alice Asprey – established the computer science curriculum at 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 end, Bluespec SystemVerilog early), LPMud pioneer, NetBSD device drivers

== 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 computer program construction, algorithmic problem solving, ALGOL IFIP WG 2.1 member
John Backus – Fortran, Backus–Naur form, first complete compiler
David F. Bacon – programming languages, garbage collection
David Bader
Victor Bahl
Fatmah Baothman – Saudi Arabian AI researcher
Anthony James Barr – SAS, former Statistical Analysis 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 a machine; worked with John Mauchly toward BINAC (1949), EDVAC (1949), UNIVAC (1951) to develop early stored program computers
Andrew Barto
Friedrich L. Bauer – stack (data structure), Sequential Formula Translation, ALGOL, software engineering, Bauer–Fike theorem
Rudolf Bayer – B-tree
Gordon Bell (1934–2024) – computer designer DEC VAX, author: Computer Structures
Steven M. Bellovin – network security
Yoshua Bengio – artificial intelligence, deep learning
Cecilia Berdichevsky (1925–2010) – pioneering Argentinian computer scientist
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 main designers of IBM System/360 computer line
Sue Black
David Blei
Dorothy Blum – National Security Agency
Lenore Blum – complexity
Manuel Blum – cryptography
Barry Boehm – software engineering economics, spiral development
Corrado Böhm – author of the structured program theorem
Kurt Bollacker
Jeff Bonwick – invented 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
Alan H. Borning – human–computer interaction, object-oriented programming, constraint programming, programming languages, ThingLab
Bert Bos – Cascading Style Sheets
Mikhail Botvinnik – World Chess Champion, computer scientist, electrical engineer, pioneered early expert system AI and 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, professor at Åbo Akademi University
Robert S. Boyer – string searching, ACL2 theorem prover
Karlheinz Brandenburg – Main mp3 contributor
Gilles Brassard – BB84 protocol and quantum cryptography pioneer
Lawrence M. Breed – implementation of Iverson Notation (APL), co-developed APL\360, Scientific Time Sharing Corporation cofounder
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") – RC 4000 multiprogramming system, operating system kernels, microkernels, monitors, concurrent programming, Concurrent Pascal, distributed computing & processes, parallel computing
Sjaak Brinkkemper – methodology of product software development
Fred Brooks – IBM System/360, OS/360, The Mythical 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 Achievement Award
Michael Butler – Event-B