Chennai Mathematical Institute - logic and models for concurrency

The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.

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

University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.

University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.

Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing

University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.

University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.

University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.

School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.