Simon Ramo Professor and Professor of Computer Science
Phone: (626) 395-6559
Fax: (626) 792-4257
California Institute of Technology
K. Mani Chandy is the Simon Ramo Professor at the California Institute of Technology.
Dr. Chandy got his Ph.D. from the Massachusetts Institute of Technology in Electrical Engineering at the Operations Research Center in 1969. He got a Masters from the Polytechnic Institute of Brooklyn, and a Bachelors from the Indian Institute of Technology, Madras in 1965.
Dr. Chandy has worked for Honeywell and IBM. From 1970 to 1989, he was in the Computer Science Department of the University of Texas at Austin, serving as chair in 1978-79 and 1983-85. He has served as a consultant to a number of companies including IBM and Bell Labs. He has been at the California Institute of Technology since 1987, two years as a Sherman Fairchild Fellow, and then as a professor in Computer Science.
Dr. Chandy is a member of the National Academy of Engineering. He received the IEEE Koji Kobayashi Award for Computers and Communication in 1987, the A.A. Michelson Award from the Computer Measurement Group in 1985, and has numerous awards.
Software developed by Dr. Chandy and colleagues in the area of computer performance modeling was marketed by Boole and Babbage Inc.. He was a co-founder of a company, iSpheres, in the area of event-driven architecture; that software is now marketed by Avaya.
Dr. Chandy does research on sense and respond systems. He has published three books and over a hundred papers on distributed computing, verification of concurrent programs, parallel programming languages and performance models of computing and communication systems.
- (with Concetta Pilotto and Ryan McLean) “Networked Sensing Systems for People Carrying Radiation Material,” Fifth Intn’l Conf. on Networked Sensing Systems, (INSS 2008), June 2008.
- (with Matt Wu and Annie Liu) “Virtual Environments for Developing Strategies to Interdict Terrorists Carrying Dirty Bombs,” Intn’l Conf. on Inf.Syst. for Crisis Response and Management (ISCRAM 2008), May 2008.
- (with Sayan Mitra) "A Theory for Verifying Stability and Convergence of Automata Formalized in PVS", Theorem Proving in Higher Order Logics (TPHOLS 2008), August 2008.
- (with M. Charpentier, A. Capponi), "Towards a Theory of Events," Distributed Event Based Systems (DEBS 2007), June 2007
- (with M. Charpentier), "Self Similar Algorithms for Dynamic Distributed Systems," International Conf. on Distributed Computing Systems, (ICDCS 2007), June 2007
- Rajive Bagrodia, PhD University of Texas at Austin
- Wilhem Burger, PhD University of Texas at Austin
- Robert Berry, PhD University of Texas at Austin
- Ulla Binau (PhD, 1993)
- Peter Carlin (BS/MS, 1994-95)
- Vincent Fernandes. PhD University of Texas at Austin
- Roman Ginis (PhD, 2002)
- Laura Haas, PhD University of Texas at Austin
- Peter Hofstee (PhD, 1994)
- John Hogarth, PhD University of Texas at Austin
- Victor Paul Holmes, PhD University of Texas at Austin
- Rohit Khare (BS, 1995)
- Thomas Keller, PhD University of Texas at Austin
- Carole Essig Kincaid, PhD University of Texas at Austin
- Joseph Kiniry (PhD, 2002)
- Svetlana Kryukova (BS/MS, 1995)
- Dorothy Ellen Lang, PhD University of Texas at Austin
- K. Rustan M. Leino (PhD, 1995)
- Ta-Chen Lo, PhD University of Texas at Austin
- Rajit Manohar (MS, 1994)
- Andrew James Martin, PhD University of Texas at Austin
- Berna Massingill (PhD, 1998)
- William I. MacGregor, PhD University of Texas at Austin
- Douglas Malcolm Neuse, PhD University of Texas at Austin
- Paul Francis Reynolds, PhD University of Texas at Austin
- Adam Rifkin (MS, 1998)
- Charles Sauer, PhD University of Texas at Austin
- Eve Schooler (PhD, 2000)
- Paul A. G. Sivilotti (PhD, 1998)
- M. Seethalakshmi, PhD University of Texas at Austin
- John Thornley (PhD, 1996)
- Donald Towsley, PhD University of Texas at Austin
- Elizabeth Williams, PhD University of Texas at Austin
- Randolph Yeh, PhD University of Texas at Austin
- Daniel Zimmerman (PhD, 2001)
Research Group of the Center for Research on Parallel Computation
Projects in formal methods and practical applications in compositional systems for distributed computing.
Caltech Infospheres Project
Projects in formal methods and practical applications in distributed information, collaboration over the Web, Java, and the Internet.
Archetypes for parallel and sequential programming, plus an electronic textbook for viewing and selecting them.
A parallel programming language based on C++.
A parallel programming language based on Fortran.
Specially suited environments to enable scientists to solve complex problems.
Structured Multithreaded Programming Project
Developing practical methods for high-performance >multithreaded programming, with emphasis on commodity multiprocessors and operating systems.