Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture

Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.

IBM Research - Quantum information and computation theory.

University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

HP Labs - Java, Garbage collection, language theory

NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.

University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.

University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.

Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.