|
|
|
|
Home / Computers / Computer Science / People / B
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Bacon, Jean - University of Cambridge - Distributed systems.
www.cl.cam.ac.uk/users/jmb
- Baker, Henry - Garbage collection, GC, storage management, programming languages, Lisp, Ada, APL, ML, functional programming, compilers, linear types, reversible computation, parallel languages, quantum computation.
ftp://ftp.netcom.com/pub/hb/hbaker/home.html
- Balakrishnan, M. - Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
www.cse.iitd.ernet.in/~mbala
- Ball, Thomas - Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
www.research.microsoft.com/~tball
- Banerjee, Subhashis - Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
www.cse.iitd.ernet.in/~suban
- Banicescu, Ioana - Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
www.cs.msstate.edu/~ioana
- Banks, David - Florida State University - 3D computer graphics and scientific visualization.
www.cs.fsu.edu/~banks
- Barr, Rimon - Cornell University - Distributed systems and database research
www.cs.cornell.edu/barr/home.html
- Böhlen, Michael - Aalborg University - Temporal databases, deductive databases, and data warehousing.
www.cs.auc.dk/~boehlen
- Bellegarde, Françoise - Oregon Graduate Institute - Formal methods, functional programming, automatic demonstration, term rewriting, program transformation.
www.cse.ogi.edu/~bellegar/fb.html
- Bendix, Lars - Aalborg University - Configuration management maturity model, cooperative editing, general object-based environments, holistic configuration management.
www.cs.auc.dk/~gobe
- Bennett, Charles H. - IBM Research - Quantum information and computation theory.
www.research.ibm.com/people/b/bennetc
- Berar, Sanda - Nokia Networks, Helsinki.
www.geocities.com/sanda_berar
- Bergamaschi, Sonia - Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
www.dsi.unimo.it/staff/st12/Bergamaschi.idc
- Bernstein, D. J. - University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
cr.yp.to/djb.html
- Bhattacharjee, Arindam - Assam University, Silchar.
arindam_bh.tripod.com
- Bhattacharyya, Pushpak - Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence
www.cse.iitb.ernet.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
www.cse.iitb.ernet.in/~mrb
- Biagioni, Edoardo - University of Hawaii at Manoa - protocol implementation strategies, advanced programming languages for systems programming, garbage collection, operating systems.
www.ics.Hawaii.Edu/~esb
- Birkedal, Lars - Carnegie Mellon University - Type theory, modules, Standard ML, compilation of ML, the ML Kit, partial evaluation, SML-Mix.
foxnet.cs.cmu.edu/people/birkedal/index.html
- Blackwell, Alan - University of Cambridge - Human-computer interaction, visual interaction.
www.cl.cam.ac.uk/users/afb21
- Blair, Michael R. - MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
www-swiss.ai.mit.edu/~ziggy/ziggy.html
- Blelloch, Guy - Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
www.cs.cmu.edu/~guyb/home.html
- Boggess, Gene - Mississippi State University - Cognitive science, neural networks, computational linguistics, genetic algorithms.
www.cs.msstate.edu/~gboggess
- Bohner, Shawn - Virginia Polytechnic Institute and State University - Software engineering
www.nvc.cs.vt.edu/~bohner/sbohner-Webpage.htm
- Boisvert, Ronald F. - NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
gams.nist.gov/acmd/Staff/RBoisvert/index.html
- Borning, Alan - University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
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.
www.dcs.ed.ac.uk/~jcb
- Braine, Lee - University College London - Functional programming, object-oriented programming, visual programming, and language implementations.
www.cs.ucl.ac.uk/staff/L.Braine
- Brajnik, Giorgio - University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
www.dimi.uniud.it/~giorgio
- Brankovic, Ljiljana - University of Newcastle - Security of statistical databases.
www.cs.newcastle.edu.au/~lbrankov
- Breugel, Franck van - York University, Ontario - Concurrent programming languages, semantics, specification languages.
www.cs.yorku.ca/~franck
- Bridges, Susan - Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
www.cs.msstate.edu/FACULTY_AND_STAFF/bridges.html
- Brill, Eric - Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language systems, machine learning, and artificial intelligence. Lexical disambiguation, parsing, classifier combination, spelling correction, language modelling.
www.cs.jhu.edu/~brill
- 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 agents, artificial life, computer music.
www-poleia.lip6.fr/~briot/index2.html
- Briscoe, Ted - University of Cambridge - Speech and language processing, computational linguistics.
www.cl.cam.ac.uk/users/ejb
- 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.
www.cs.williams.edu/~kim
- Bryant, Barrett R. - University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
www.cis.uab.edu/info/faculty/bryant/bryant.html
- Bultan, Tevfik - University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
www.cs.ucsb.edu/~bultan
- Bunduchi, Raluca - University of Strathclyde - E-business researcher.
www.mansci.strath.ac.uk/raluca/home.htm
- Bundy, Alan - University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
www.dai.ed.ac.uk/daidb/people/homes/bundy
- Buyya, Rajkumar - Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed Computing, Cluster Computing, Parallel I/O.
www.rdt.monash.edu.au/~rajkumar
- Hans J. Boehm - HP Labs - Java, Garbage collection, language theory
www.hpl.hp.com/personal/Hans_Boehm
|
|
|
|
|