Directory of Resources

Home > Computers > Computer Science > People > B

Subcategories

• Babbage, Charles

Resources in This Category

• Bacon, Jean

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

• Balakrishnan, M.

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

• Ball, Thomas

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

• Banerjee, Subhashis

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

• Becker, Simon M.

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

• Bednarik, Roman

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

• Bennett, Charles H.

  http://researcher.watson.ibm.com/researcher/view.php?person=us-bennetc
  IBM Research - Quantum information and computation theory.

• Bernstein, D. J.

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

• Bertozzi, Massimo

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

• 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.

• Blackwell, Alan

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

• 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.

• Blelloch, Guy

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

• 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.

• Bowen, Jonathan

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

• 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.

• 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.

• 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.

• Brankovic, Ljiljana

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

• Breugel, Franck van

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

• 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.

• Briscoe, Ted

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

• 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.

• Bultan, Tevfik

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

• Bundy, Alan

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

 

Home > Computers > Computer Science > People > B

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us