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