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 modellin
   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/

Bundy, Alan  
   University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
   http://www.dai.ed.ac.uk/daidb/people/homes/bundy/

Blackwell, Alan  
   University of Cambridge - Human-computer interaction, visual interaction.
   http://www.cl.cam.ac.uk/users/afb21/

Briscoe, Ted  
   University of Cambridge - Speech and language processing, computational linguistics.
   http://www.cl.cam.ac.uk/users/ejb/

Banks, David  
   Florida State University - 3D computer graphics and scientific visualization.
   http://www.cs.fsu.edu/~banks/

Bennett, Charles H.  
   IBM Research - Quantum information and computation theory.
   http://www.research.ibm.com/people/b/bennetc/

Ball, Thomas  
   Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
   http://www.research.microsoft.com/~tball/

Banerjee, Subhashis  
   Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
   http://www.cse.iitd.ernet.in/~suban

Balakrishnan, M.  
   Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
   http://www.cse.iitd.ernet.in/~mbala/

Buyya, Rajkumar  
   Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed Computing, Cluster Computing, Parallel I/O.
   http://www.rdt.monash.edu.au/~rajkumar/

Briot, Jean-Pierre  
   Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile
   http://www-poleia.lip6.fr/~briot/index2.html

Bohner, Shawn  
   Virginia Polytechnic Institute and State University - Software engineering
   http://www.nvc.cs.vt.edu/~bohner/sbohner-Webpage.htm

Berar, Sanda  
   Nokia Networks, Helsinki.
   http://www.geocities.com/sanda_berar/

Bartolini, Claudio  
   HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.
   http://www.hpl.hp.com/personal/Claudio_Bartolini/

Bergamaschi, Sonia  
   Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
   http://www.dbgroup.unimo.it/Bergamaschi.html

Bridges, Susan  
   Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
   http://www.cs.msstate.edu/~bridges/

Bertozzi, Massimo  
   University of Parma - Computer vision, learning in vision, artificial intelligence.
   http://www.ce.unipr.it/bertozzi

Baquero, Carlos  
   Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.
   http://gsd.di.uminho.pt/cbm/

Burdakov, Aleksey  
   Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods.
   http://geocities.com/burdakov

Ben-Ameur, Houssein  
   CIRANO (Center for Interuniversity Research on Analysis of Organizations) and Montreal University. Agent and multi-agent technology, e-business and semantic web.
   http://www2.cirano.qc.ca/~benameuh/en/

Becker, Simon M.  
   University of Technology Aachen - Software Engineering, Incremental Integration.
   http://www-i3.informatik.rwth-aachen.de/private/sbecker/index.html

Bednarik, Roman  
   University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
   http://cs.joensuu.fi/~rbednari

Bowen, Jonathan  
   London South Bank University - Formal methods, history of computing, online museums.
   http://www.jpbowen.com/

Bhattacharyya, Pushpak  
   Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.
   http://www.cse.iitb.ac.in/~pb/

Bhujade, Moreshwar  
   Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages
   http://www.cse.iitb.ac.in/~mrb/

Barr, Rimon  
   Cornell University - Distributed systems and database research
   http://rimonbarr.com/