Directory: Top/Computers/Computer

Top / Computers / Computer_Science / People / B /

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/
Williams.edu ~ Site Info Whois Trace Route RBL Check

Blelloch, Guy
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
http://www.cs.cmu.edu/~guyb/home.html
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Hans J. Boehm
HP Labs - Java, Garbage collection, language theory
http://www.hpl.hp.com/personal/Hans_Boehm/
Hp.com ~ Site Info Whois Trace Route RBL Check

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/
Washington.edu ~ Site Info Whois Trace Route RBL Check

Bernstein, D. J.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
http://cr.yp.to/djb.html
Yp.to ~ Site Info Whois Trace Route RBL Check

Bultan, Tevfik
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
http://www.cs.ucsb.edu/~bultan/
Ucsb.edu ~ Site Info Whois Trace Route RBL Check

Brankovic, Ljiljana
University of Newcastle - Security of statistical databases.
http://www.cs.newcastle.edu.au/~lbrankov/
Newcastle.edu.au ~ Site Info Whois Trace Route RBL Check

Ball, Thomas
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
http://www.research.microsoft.com/~tball/
Microsoft.com ~ Site Info Whois Trace Route RBL Check

Banerjee, Subhashis
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
http://www.cse.iitd.ernet.in/~suban
Ernet.in ~ Site Info Whois Trace Route RBL Check

Balakrishnan, M.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
http://www.cse.iitd.ernet.in/~mbala/
Ernet.in ~ Site Info Whois Trace Route RBL Check