Charles Babbage - 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 Rudolf Bayer - B-tree James C. Beatty, Jr. - compiler optimization,[1] super-computing[2] Gordon Bell - DEC VAX, Computer Structures Steven M. Bellovin - network security Tim Berners-Lee - World Wide Web 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 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 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 Alan Burns - real-time computing Ben Aaron Mwale - computer systems