Boggess, Gene Mississippi State University - Cognitive science, neural networks, computational linguistics, genetic algorithms. http://www.cs.msstate.edu/~gboggess

Bruce, Kim B. Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism. http://www.cs.williams.edu/~kim/

Brill, Eric Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language systems, machine learning, and artificial intelligence. Lexical disambiguation, parsing, classifier combination, spelling correction, language modelling. http://www.cs.jhu.edu/~brill

Banicescu, Ioana Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology. http://www.cs.msstate.edu/~ioana

Bendix, Lars Aalborg University - Configuration management maturity model, cooperative editing, general object-based environments, holistic configuration management. http://www.cs.auc.dk/~gobe/

Boisvert, Ronald F. NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. http://gams.nist.gov/acmd/Staff/RBoisvert/index.html

Baker, Henry Garbage collection, GC, storage management, programming languages, Lisp, Ada, APL, ML, functional programming, compilers, linear types, reversible computation, parallel languages, quantum computation. ftp://ftp.netcom.com/pub/hb/hbaker/home.html

Blair, Michael R. MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. http://www-swiss.ai.mit.edu/~ziggy/ziggy.html

Blelloch, Guy Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. http://www.cs.cmu.edu/~guyb/home.html

Hans J. Boehm HP Labs - Java, Garbage collection, language theory http://www.hpl.hp.com/personal/Hans_Boehm/

Borning, Alan University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. http://www.cs.washington.edu/homes/borning/

Breugel, Franck van York University, Ontario - Concurrent programming languages, semantics, specification languages. http://www.cs.yorku.ca/~franck/

Bryant, Barrett R. University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology. http://www.cis.uab.edu/info/faculty/bryant/bryant.html

Böhlen, Michael Aalborg University - Temporal databases, deductive databases, and data warehousing. http://www.cs.auc.dk/~boehlen/

Bernstein, D. J. University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking http://cr.yp.to/djb.html

Brajnik, Giorgio University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. http://www.dimi.uniud.it/~giorgio/

Bultan, Tevfik University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. http://www.cs.ucsb.edu/~bultan/

Brankovic, Ljiljana University of Newcastle - Security of statistical databases. http://www.cs.newcastle.edu.au/~lbrankov/

Bradfield, Julian University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. http://www.dcs.ed.ac.uk/~jcb/

Bacon, Jean University of Cambridge - Distributed systems. http://www.cl.cam.ac.uk/users/jmb/