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 http://theory.lcs.mit.edu/~rivest/
Indian Institute of Technology, Bombay - Real-time systems, Transaction processing in database systems, Real-time databases systems http://www.cse.iitb.ac.in/~krithi/
University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation. http://www.cl.cam.ac.uk/users/mr/
Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Programming Languages, Real time and Reactive Programming, Distributed Computing. http://www.cse.iitb.ac.in/~ramesh/
Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems. http://www.mta.ca/~rrosebru/index.html
Indian Institute of Technology, Bombay - VLSI Design, Advanced Computer Architecture, Reconfigurable Computing, Microprocessor Design and Interfaces. http://www.cse.iitb.ac.in/~ssspr/
University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and scientific visualization. http://www.cs.rug.nl/~roe/roe.html