University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.

Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.

MIT - Distributed systems, software engineering and security.

University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.

University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.

Indian Institute of Technology, Delhi - Semantics and Verification