Stanford University - Electronic commerce, interoperability of heterogeneous databases, database integration, object-oriented databases, database implementation, databases on parallel computers, federated autonomous databases, database views including updates, incomplete information and nulls, software integration and reuse, and large system integration.

University of Cambridge - Interactive theorem proving and its applications.

James Cook University - Secret sharing schemes, society-oriented cryptography.

Mississippi State University - Instruction set architecture, data compression.

Brown University - Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript.

University of Cambridge - Semantics and compilation of programs, static analysis of programs.

School of Information Sciences and Technology, Pennsylvania State University - Cognitive Science, Vision, High Performance Computing.

University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.

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

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