Computers

Carnegie Mellon University - Internet services and high-performance distributed computing.

National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications

CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems.

University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial languages and applications, compiler directed memory coherence, compiler impact on architecture.

Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.