Directory: Top/Computers/Computer

Top / Computers / Computer_Science / People / B /

Barr, Rimon
Cornell University - Distributed systems and database research
http://rimonbarr.com/
Rimonbarr.com ~ Site Info Whois Trace Route RBL Check

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

Blum, Manuel
University of California, Berkeley - Theoretical computer science, graph theory, cryptography
http://www.cs.berkeley.edu/~blum/
Berkeley.edu ~ Site Info Whois Trace Route RBL Check

Bennett, Charles H.
IBM Research - Quantum information and computation theory.
http://researchweb.watson.ibm.com/people/b/bennetc/
Ibm.com ~ Site Info Whois Trace Route RBL Check

Bundy, Alan
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
http://homepages.inf.ed.ac.uk/bundy/
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

Bertozzi, Massimo
University of Parma - Computer vision, learning in vision, artificial intelligence.
http://www.ce.unipr.it/people/bertozzi/
Unipr.it ~ Site Info Whois Trace Route RBL Check

Boisvert, Ronald F.
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
http://math.nist.gov/~RBoisvert/
Nist.gov ~ Site Info Whois Trace Route RBL Check

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/
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

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

Breugel, Franck van
York University, Ontario - Concurrent programming languages, semantics, specification languages.
http://www.cse.yorku.ca/~franck/
Yorku.ca ~ Site Info Whois Trace Route RBL Check