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.

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

University of New South Wales - Parallel and distributed computing, heterogeneous distributed computing, groupware and workflow, electronic commerce, network computing, software engineering, object-oriented design and technology.

University of Groningen - Image and signal processing, information theory,model selection, Modula-3.

Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.

University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.

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

Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.

IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition

Chennai Mathematical Institute - logic and models for concurrency

Graduate student, University of Kansas. Working in the area of routing protocols, network security, information retrieval and operating systems.

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

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

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

Stanford University - Syntax, computational linguistics.

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

Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness.

University of Sussex - Shallow parsing, semantic tagging, natural language processing.

University of Edinburgh - Natural language generation.

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

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