List of Computer Scientists - B

B

• Charles Babbage (1791–1871) – invented first mechanical computer
• Charles Bachman
• Roland Carl Backhouse – mathematics of program construction
• John Backus – FORTRAN, Backus–Naur form
• David A. Bader
• Anthony James Barr – SAS System
• Jean Bartik (1924–2011) – one of the first computer programmers, on ENIAC(1946), one of 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, Jr. – compiler optimization, super-computing
• Gordon Bell (born 1931) – 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
• David Blei
• Manuel Blum – cryptography
• Barry Boehm – software engineering economics, spiral development
• Grady Booch – Unified Modeling Language, Object Management Group
• George Boole – Boolean logic
• Bert Bos – Cascading Style Sheets
• Jonathan Bowen – Z notation, formal methods
• Stephen R. Bourne – Bourne shell, portable ALGOL 68C compiler
• Robert S. Boyer – string searching, ACL2 theorem prover
• Julian C. Bradfield – logic and concurrency, Expressivity of the mu-calculus
• Jack E. Bresenham – early computer-graphics contributions, including Bresenham's algorithm
• 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