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

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

Queen Mary and Westfield College - Semantics of programming languages with a primary focus on state.

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

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 langua...

Swedish Institute of Computer Science - Language engineering, computational linguistics, information extraction and machine learning.

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