K. Mani Chandy
Encyclopedia
Kanianthra Mani Chandy is the Simon Ramo Professor of Computer Science at the California Institute of Technology
. He has been the Executive Officer of the Computer Science Department twice, and he has been a professor at Caltech since 1989.
Chandy received his Ph.D. from the Massachusetts Institute of Technology
in Electrical Engineering with a thesis in Operations research
. He also earned a Masters from the Polytechnic Institute of Brooklyn, and a Bachelors from the Indian Institute of Technology, Madras.
He 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
.
Chandy is a member of the National Academy of Engineering
. He received the IEEE Koji Kobayashi Award for Computers and Communication in 1987 and the A.A. Michelson Award from the Computer Measurement Group in 1985.
Chandy does research in distributed computing
. 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, including the eponymous BCMP network
s. He described the Snapshot algorithm
together with Leslie Lamport
.
California Institute of Technology
The California Institute of Technology is a private research university located in Pasadena, California, United States. Caltech has six academic divisions with strong emphases on science and engineering...
. He has been the Executive Officer of the Computer Science Department twice, and he has been a professor at Caltech since 1989.
Chandy received his Ph.D. from the Massachusetts Institute of Technology
Massachusetts Institute of Technology
The Massachusetts Institute of Technology is a private research university located in Cambridge, Massachusetts. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific and technological education and research.Founded in 1861 in...
in Electrical Engineering with a thesis in Operations research
Operations research
Operations research is an interdisciplinary mathematical science that focuses on the effective use of technology by organizations...
. He also earned a Masters from the Polytechnic Institute of Brooklyn, and a Bachelors from the Indian Institute of Technology, Madras.
He has worked for Honeywell
Honeywell
Honeywell International, Inc. is a major conglomerate company that produces a variety of consumer products, engineering services, and aerospace systems for a wide variety of customers, from private consumers to major corporations and governments....
and IBM
IBM
International Business Machines Corporation or IBM is an American multinational technology and consulting corporation headquartered in Armonk, New York, United States. IBM manufactures and sells computer hardware and software, and it offers infrastructure, hosting and consulting services in areas...
. 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
Bell Labs
Bell Laboratories is the research and development subsidiary of the French-owned Alcatel-Lucent and previously of the American Telephone & Telegraph Company , half-owned through its Western Electric manufacturing subsidiary.Bell Laboratories operates its...
.
Chandy is a member of the National Academy of Engineering
National Academy of Engineering
The National Academy of Engineering is a government-created non-profit institution in the United States, that was founded in 1964 under the same congressional act that led to the founding of the National Academy of Sciences...
. He received the IEEE Koji Kobayashi Award for Computers and Communication in 1987 and the A.A. Michelson Award from the Computer Measurement Group in 1985.
Chandy does research in distributed computing
Distributed computing
Distributed computing is a field of computer science that studies distributed systems. A distributed system consists of multiple autonomous computers that communicate through a computer network. The computers interact with each other in order to achieve a common goal...
. 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, including the eponymous BCMP network
BCMP network
In queueing theory, a discipline within the mathematical theory of probability, a BCMP network is a class of queueing network for which a product form equilibrium distribution exists. It is named after the authors of the paper where the network was first described: Baskett, Chandy, Muntz and Palacios...
s. He described the Snapshot algorithm
Snapshot algorithm
The snapshot algorithm is an algorithm used in distributed systems for recording a consistent global state of an asynchronous system. It is also known as Chandy-Lamport Algorithm for the determination of consistent global states and obtaining consistent cuts, after Leslie Lamport and K...
together with Leslie Lamport
Leslie Lamport
Leslie Lamport is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972...
.