University of Nebraska-Lincoln - Scientific databases, content-based image retrieval, geographic in...
Mount Allison University - Higher dimensional category theory, computational category theory and th...
University of Groningen - Specification languages and formal specification.
University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and ...
Indian Institute of Technology, Bombay - Real-time systems, Transaction processing in database syst...
Indian Institute of Technology, Bombay - Algorithms, Combinatorial Optimization.
Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Progra...
Indian Institute of Technology, Bombay - VLSI Design, Advanced Computer Architecture, Reconfigurabl...
University of Cambridge - Programming language design and implementation, typeless languages, optim...
University of Cambridge - Human-computer interaction, electronic design automation, self-timed circ...
Webster Professor of MIT's Electrical Engineering and Computer Science, Associate Director of MIT's...