Webster Professor of MIT's Electrical Engineering and Computer Science, Associate Director of MIT's Laboratory for Computer Science, a founder of RSA Data Security

University of Nebraska-Lincoln - Scientific databases, content-based image retrieval, geographic information systems, spatiotemporal data, computational biology.

Mississippi State University - Parallel processing, microprocessors, computer architecture, object oriented programming, instructional technology.

University of Maryland, Baltimore County - Distance education.

Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems.

University of Groningen - Specification languages and formal specification.

University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and scientific visualization.

Bell Laboratories - database systems, query optimization, XML storage.

University of Wolverhampton - Networking, multimedia, the internet and programming.

Indian Institute of Technology, Bombay - Real-time systems, Transaction processing in database systems, Real-time databases systems

Indian Institute of Technology, Bombay - Algorithms, Combinatorial Optimization.

Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Programming Languages, Real time and Reactive Programming, Distributed Computing.

Indian Institute of Technology, Bombay - VLSI Design, Advanced Computer Architecture, Reconfigurable Computing, Microprocessor Design and Interfaces.

IBM Research, System Software Department - energy conservation for servers, operating systems, and networking.

University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.

University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.

University of Aberdeen - Natural language front ends; formal properties of linguistic formalisms; semantic interpretation of English sentences, particularly temporal semantics; modelling of verbal humour.