Subdirectories of B:
Websites on B: Bacon, Jean University of Cambridge - Distributed systems. Balakrishnan, M. Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture Ball, Thomas Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization. Banerjee, Subhashis Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics Banks, David Florida State University - 3D computer graphics and scientific visualization. Baquero, Carlos Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming. Barr, Rimon Cornell University - Distributed systems and database research Bartolini, Claudio HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management. Becker, Simon M. University of Technology Aachen - Software Engineering, Incremental Integration. Bednarik, Roman University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. Bennett, Charles H. IBM Research - Quantum information and computation theory. Berar, Sanda Nokia Networks, Helsinki. Bergamaschi, Sonia Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases. Bernstein, D. J. University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking Bernstein, Herbert J. Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering. Bertozzi, Massimo University of Parma - Computer vision, learning in vision, artificial intelligence. Bhattacharyya, Pushpak Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence. 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 Blackwell, Alan University of Cambridge - Human-computer interaction, visual interaction. Blair, Michael R. MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. Blelloch, Guy Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. Blum, Manuel University of California, Berkeley - Theoretical computer science, graph theory, cryptography Boisvert, Ronald F. NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. Borning, Alan University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. Bradfield, Julian University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. Brajnik, Giorgio University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. Brandt, Felix Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory. Brankovic, Ljiljana University of Newcastle - Security of statistical databases. Breugel, Franck van York University, Ontario - Concurrent programming languages, semantics, specification languages. 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. Briscoe, Ted University of Cambridge - Speech and language processing, computational linguistics. 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. Bryant, Barrett R. University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology. Bultan, Tevfik University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. Bundy, Alan University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving. Burdakov, Aleksey Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods. Hans J. Boehm HP Labs - Java, Garbage collection, language theory
|
|