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
Boggess, Gene
Mississippi State University - Cognitive science, neural networks, computational linguistics, genetic algorithms.
Böhlen, Michael
Aalborg University - Temporal databases, deductive databases, and data warehousing.
Bohner, Shawn
Virginia Polytechnic Institute and State University - Software engineering
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.
Bowen, Jonathan
London South Bank University - Formal methods, history of computing, online museums.
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.
Bridges, Susan
Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
Results: Previous 1 2 3 4 5 6 7 8 Next
Site
Menu 
