B

B

• Babbage, Charles@

B Links

• Borning, Alan University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
  
• Bhattacharyya, Pushpak Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence
  
• Bridges, Susan Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
  
• 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.
  
• Böhlen, Michael Aalborg University - Temporal databases, deductive databases, and data warehousing.
  
• Bacon, Jean University of Cambridge - Distributed systems.
  
• Banks, David Florida State University - 3D computer graphics and scientific visualization.
  
• Bernstein, D. J. University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
  
• Bendix, Lars Aalborg University - Configuration management maturity model, cooperative editing, general object-based environments, holistic configuration management.
  
• Bellegarde, Françoise Oregon Graduate Institute - Formal methods, functional programming, automatic demonstration, term rewriting, program transformation.
  
• 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.
  
• Biagioni, Edoardo University of Hawaii at Manoa - protocol implementation strategies, advanced programming languages for systems programming, garbage collection, operating systems.
  
• Braine, Lee University College London - Functional programming, object-oriented programming, visual programming, and language implementations.
  
• Bennett, Charles H. IBM Research - Quantum information and computation theory.
  
• Ball, Thomas Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
  
• Blair, Michael R. MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
  
• Brankovic, Ljiljana University of Newcastle - Security of statistical databases.
  
• Bryant, Barrett R. University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
  
• 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
  
• Banerjee, Subhashis Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
  
• Balsamo, Simonetta University of Udine - Modelling and analysis for performance and reliability evaluation of computer and communication systems, parallel and distributed simulation.
  
• Buyya, Rajkumar Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed Computing, Cluster Computing, Parallel I/O.
  
• Birkedal, Lars Carnegie Mellon University - Type theory, modules, Standard ML, compilation of ML, the ML Kit, partial evaluation, SML-Mix.
  
• Hans J. Boehm HP Labs - Java, Garbage collection, language theory
  
• Banicescu, Ioana Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
  
• Brajnik, Giorgio University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
  
• Bultan, Tevfik University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
  
• 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.
  
• Bradfield, Julian University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
  
• Breugel, Franck van York University, Ontario - Concurrent programming languages, semantics, specification languages.
  
• Boisvert, Ronald F. NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
  
• Briscoe, Ted University of Cambridge - Speech and language processing, computational linguistics.
  
• Boggess, Gene Mississippi State University - Cognitive science, neural networks, computational linguistics, genetic algorithms.
  
• Bergamaschi, Sonia Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
  
• Blelloch, Guy Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
  
• Baker, Henry Garbage collection, GC, storage management, programming languages, Lisp, Ada, APL, ML, functional programming, compilers, linear types, reversible computation, parallel languages, quantum computation.
  
• Blackwell, Alan University of Cambridge - Human-computer interaction, visual interaction.
  
• Balakrishnan, M. Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
  
• Baquero, Carlos Minho University - Distributed and mobile computing, concurrent object-oriented programming, inheritance anomaly, C++ extensions, WWW tools, languages, and robots.
  
• Bundy, Alan University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.