Academic Background: B.Tech., Indian Institute of Technology, Madras, 1965; Ph.D., Massachusetts Institute of Technology, 1969.
Research Interests: Distributed systems, formal methods, and software engineering.
Appointments: Simon Ramo Professor of Computer Science, Emeritus at Caltech; Previously Department Chair at Caltech.
Awards: IEEE Koji Kobayashi Computers and Communications Award; ACM SIGSOFT Outstanding Research Award.
Publications: Co-author of Parallel Program Design (Addison-Wesley, 1988); Articles in ACM Transactions on Computer Systems.
Additional Contributions: Developed the UNITY programming methodology.