|
|
1. |
Bacon, Jean
-
University of Cambridge - Distributed systems.
|
|
|
2. |
Balakrishnan, M.
-
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
|
|
|
3. |
Ball, Thomas
-
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
|
|
|
4. |
Banerjee, Subhashis
-
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
|
|
|
5. |
Banicescu, Ioana
-
Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
|
|
|
6. |
Banks, David
-
Florida State University - 3D computer graphics and scientific visualization.
|
|
|
7. |
Barr, Rimon
-
Cornell University - Distributed systems and database research
|
|
|
8. |
Bartolini, Claudio
-
HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.
|
|
|
9. |
Bednarik, Roman
-
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
|
|
|
10. |
Berar, Sanda
-
Nokia Networks, Helsinki.
|
|
|
11. |
Bergamaschi, Sonia
-
Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
|
|
|
12. |
Bernstein, D. J.
-
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
|
|
|
13. |
Bernstein, Herbert J.
-
Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering.
|
|
|
14. |
Blackwell, Alan
-
University of Cambridge - Human-computer interaction, visual interaction.
|
|
|
15. |
Blair, Michael R.
-
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
|
|
|
16. |
Blelloch, Guy
-
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
|
|
|
17. |
Blum, Manuel
-
University of California, Berkeley - Theoretical computer science, graph theory, cryptography
|
|
|
18. |
Bohner, Shawn
-
Virginia Polytechnic Institute and State University - Software engineering
|
|
|
19. |
Boisvert, Ronald F.
-
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
|
|
|
20. |
Borning, Alan
-
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
|
|
|
21. |
Bowen, Jonathan
-
London South Bank University - Formal methods, history of computing, online museums.
|
|
|
22. |
Bradfield, Julian
-
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
|
|
|
23. |
Brajnik, Giorgio
-
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
|
|
|
24. |
Brankovic, Ljiljana
-
University of Newcastle - Security of statistical databases.
|
|
|
25. |
Breugel, Franck van
-
York University, Ontario - Concurrent programming languages, semantics, specification languages.
|
|
|
26. |
Bridges, Susan
-
Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
|
|
|
27. |
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.
|
|
|
28. |
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.
|
|
|
29. |
Briscoe, Ted
-
University of Cambridge - Speech and language processing, computational linguistics.
|
|
|
30. |
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.
|
|
|
31. |
Bryant, Barrett R.
-
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
|
|
|
32. |
Bultan, Tevfik
-
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
|
|
|
33. |
Bundy, Alan
-
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
|
|
|
34. |
Böhlen, Michael
-
Aalborg University - Temporal databases, deductive databases, and data warehousing.
|
|
|
35. |
Hans J. Boehm
-
HP Labs - Java, Garbage collection, language theory
|
|
|
36. |
Becker, Simon M.
-
University of Technology Aachen - Software Engineering, Incremental Integration.
|
|
|
37. |
Bennett, Charles H.
NEW!
-
IBM Research - Quantum information and computation theory.
|
|
|
38. |
Bertozzi, Massimo
-
University of Parma - Computer vision, learning in vision, artificial intelligence.
|
|
|
39. |
Brandt, Felix
-
Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.
|
|
|
40. |
Burdakov, Aleksey
-
Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods.
|
|
|
