University of Cambridge - Speech and language processing, computational linguistics.

Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics

University of Cambridge - Human-computer interaction, visual interaction.

Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.

HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.

University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

York University, Ontario - Concurrent programming languages, semantics, specification languages.

University of Cambridge - Distributed systems.

MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.

Cornell University - Distributed systems and database research