Web Directory

» Bacon, Jean
   University of Cambridge - Distributed systems.
   http://www.cl.cam.ac.uk/~jmb25/

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

» 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

» Banks, David
   Florida State University - 3D computer graphics and scientific visualization.
   http://lmi.bwh.harvard.edu/~banks/

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

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

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

» 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

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

» 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

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

» Bernstein, Herbert J.
   Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering.
   http://arcib.dowling.edu/~BernsteH/

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

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

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

» Blair, Michael R.
   MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
   http://groups.csail.mit.edu/mac/users/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

» Blum, Manuel
   University of California, Berkeley - Theoretical computer science, graph theory, cryptography
   http://www.cs.berkeley.edu/~blum/

» Boisvert, Ronald F.
   NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
   http://math.nist.gov/~RBoisvert/

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

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

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

» Brandt, Felix
   Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.
   http://www.tcs.ifi.lmu.de/~brandtf/

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

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

» 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 age
   http://www-poleia.lip6.fr/~briot/index2.html

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

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

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

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

» Bundy, Alan
   University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
   http://homepages.inf.ed.ac.uk/bundy/

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