  |
Balakrishnan, M. - http://www.cse.iitd.ernet.in/~mbala/
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture |
| |
Blelloch, Guy - http://www.cs.cmu.edu/~guyb/home.html
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. |
| |
Bennett, Charles H. - http://researchweb.watson.ibm.com/people/b/bennetc/
IBM Research - Quantum information and computation theory. |
| |
Bundy, Alan - http://homepages.inf.ed.ac.uk/bundy/
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving. |
| |
Hans J. Boehm - http://www.hpl.hp.com/personal/Hans_Boehm/
HP Labs - Java, Garbage collection, language theory |
| |
Boisvert, Ronald F. - http://math.nist.gov/~RBoisvert/
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. |
| |
Borning, Alan - http://www.cs.washington.edu/homes/borning/
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. |
| |
Bultan, Tevfik - http://www.cs.ucsb.edu/~bultan/
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. |
| |
Brandt, Felix - http://www.tcs.ifi.lmu.de/~brandtf/
Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory. |
| |
Bhattacharyya, Pushpak - http://www.cse.iitb.ac.in/~pb/
Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence. |
| |
Briscoe, Ted - http://www.cl.cam.ac.uk/~ejb1/
University of Cambridge - Speech and language processing, computational linguistics. |
| |
Banerjee, Subhashis - http://www.cse.iitd.ernet.in/~suban
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics |
| |
Blackwell, Alan - http://www.cl.cam.ac.uk/~afb21/
University of Cambridge - Human-computer interaction, visual interaction. |
| |
Bruce, Kim B. - http://www.cs.williams.edu/~kim/
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism. |
| |
Bartolini, Claudio - http://www.hpl.hp.com/personal/Claudio_Bartolini/
HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management. |
| |
Bradfield, Julian - http://homepages.inf.ed.ac.uk/jcb/
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. |
| |
Breugel, Franck van - http://www.cse.yorku.ca/~franck/
York University, Ontario - Concurrent programming languages, semantics, specification languages. |
| |
Bacon, Jean - http://www.cl.cam.ac.uk/~jmb25/
University of Cambridge - Distributed systems. |
| |
Blair, Michael R. - http://groups.csail.mit.edu/mac/users/ziggy/ziggy.html
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. |
| |
Barr, Rimon - http://rimonbarr.com/
Cornell University - Distributed systems and database research |
| |
Bergamaschi, Sonia - http://www.dbgroup.unimo.it/Bergamaschi.html
Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases. |
| |
Baquero, Carlos - http://gsd.di.uminho.pt/cbm/
Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming. |
| |
Bednarik, Roman - http://cs.joensuu.fi/~rbednari
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. |
| |
Bhujade, Moreshwar - http://www.cse.iitb.ac.in/~mrb/
Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages |
| |
Brajnik, Giorgio - http://users.dimi.uniud.it/~giorgio.brajnik/
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. |
| |
Banks, David - http://lmi.bwh.harvard.edu/~banks/
Florida State University - 3D computer graphics and scientific visualization. |
| |
Bryant, Barrett R. - http://www.cis.uab.edu/bryant/
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology. |
| |
Brankovic, Ljiljana - http://www.cs.newcastle.edu.au/~lbrankov/
University of Newcastle - Security of statistical databases. |
| |
Briot, Jean-Pierre - http://www-poleia.lip6.fr/~briot/index2.html
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. |
| |
Becker, Simon M. - http://www-i3.informatik.rwth-aachen.de/private/sbecker/index.html
University of Technology Aachen - Software Engineering, Incremental Integration. |
| |
Bernstein, Herbert J. - http://arcib.dowling.edu/~BernsteH/
Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering. |
 |
Bertozzi, Massimo - http://www.ce.unipr.it/people/bertozzi/
University of Parma - Computer vision, learning in vision, artificial intelligence. |
| |
Ball, Thomas - http://www.research.microsoft.com/~tball/
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization. |
| |
Blum, Manuel - http://www.cs.berkeley.edu/~blum/
University of California, Berkeley - Theoretical computer science, graph theory, cryptography |
| |
Bernstein, D. J. - http://cr.yp.to/djb.html
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking |