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

Institute of Mathematical Sciences. Chennai - Circuit Complexity, Interactive and Probabilistically Checkable Proofs, Counting Classes, Discrete Algorithms, Parallel Algorithms, Parameterized 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.

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

University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.

Stanford University - Syntax, computational linguistics.

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

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

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

Robert Gordon University - Repairing Type Errors in Functional Programs.

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

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

University of Edinburgh - Natural language generation.

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

University of Washington - Techniques to extract software reuse experience from a collection of software systems

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

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

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

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

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.

Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.

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

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

Chennai Mathematical Institute - logic and models for concurrency

Indian Institute of Technology, Bombay - Complexity theory, Algebraic Geometry, Computational Geometry, Parallel algorithms, Semantics of Programming Languages

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

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

A senior in Computer Science in the University of Illinois College of Engineering with an application sequence in architecture.