Mississippi State University - Cognitive science, neural networks, computational linguistics, genetic algorithms.

Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.

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.

Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.

NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.

Garbage collection, GC, storage management, programming languages, Lisp, Ada, APL, ML, functional programming, compilers, linear types, reversible computation, parallel languages, quantum computation.

MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.

Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.

HP Labs - Java, Garbage collection, language theory

University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.

York University, Ontario - Concurrent programming languages, semantics, specification languages.

University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.

Aalborg University - Temporal databases, deductive databases, and data warehousing.

University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking

University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.

University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

University of Newcastle - Security of statistical databases.

University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

University of Cambridge - Distributed systems.

University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

University of Cambridge - Human-computer interaction, visual interaction.

University of Cambridge - Speech and language processing, computational linguistics.

Florida State University - 3D computer graphics and scientific visualization.

IBM Research - Quantum information and computation theory.

Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.

Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics

Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture

Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed Computing, Cluster Computing, Parallel I/O.

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.

Virginia Polytechnic Institute and State University - Software engineering

Nokia Networks, Helsinki.

HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.

Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.

Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.

University of Parma - Computer vision, learning in vision, artificial intelligence.

Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.

Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods.

University of Technology Aachen - Software Engineering, Incremental Integration.

University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.

Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.

Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages

Cornell University - Distributed systems and database research

Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.

Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering.

University of California, Berkeley - Theoretical computer science, graph theory, cryptography

London South Bank University - Formal methods, history of computing, online museums.