University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics.

University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired by the world wide web.

Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems

Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.

University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.

University of New South Wales - Machine learning, logic programming, and knowledge based systems.

Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems.

National and Kapodistrian University of Athens - Speech, Phonology, Intonation.

University of Groningen - Discrete event systems and object oriented programming.

University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.