B

Bacon, Jean :

- University of Cambridge - Distributed systems.
Balakrishnan, M. :

- Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
Ball, Thomas :

- Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
Banerjee, Subhashis :

- Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
Banicescu, Ioana :

- Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
Banks, David :

- Florida State University - 3D computer graphics and scientific visualization.
Baquero, Carlos :

- Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.
Barr, Rimon :

- Cornell University - Distributed systems and database research
Bartolini, Claudio :

- HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.
Becker, Simon M. :

- University of Technology Aachen - Software Engineering, Incremental Integration.
Bednarik, Roman :

- University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
Bennett, Charles H. :

- IBM Research - Quantum information and computation theory.
Berar, Sanda :

- Nokia Networks, Helsinki.
Bergamaschi, Sonia :

- Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
Bernstein, D. J. :

- University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Bernstein, Herbert J. :

- Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering.
Bertozzi, Massimo :

- University of Parma - Computer vision, learning in vision, artificial intelligence.
Bhattacharyya, Pushpak :

- Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.
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
Blackwell, Alan :

- University of Cambridge - Human-computer interaction, visual interaction.
Blair, Michael R. :

- MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Blelloch, Guy :

- Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Blum, Manuel :

- University of California, Berkeley - Theoretical computer science, graph theory, cryptography
Boisvert, Ronald F. :

- NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Borning, Alan :

- University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Bowen, Jonathan :

- London South Bank University - Formal methods, history of computing, online museums.
Bradfield, Julian :

- University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Brajnik, Giorgio :

- University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
Brandt, Felix :

- Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.
Brankovic, Ljiljana :

- University of Newcastle - Security of statistical databases.
Breugel, Franck van :

- York University, Ontario - Concurrent programming languages, semantics, specification languages.
Bridges, Susan :

- Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
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 agents, artificial life, computer music.
Briscoe, Ted :

- University of Cambridge - Speech and language processing, computational linguistics.
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.
Bryant, Barrett R. :

- University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
Bultan, Tevfik :

- University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
Bundy, Alan :

- University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
Burdakov, Aleksey :

- Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods.
Hans J. Boehm :

- HP Labs - Java, Garbage collection, language theory