Smart systems are in the news. One hears about smart electrical grids, smart buildings, smart roads, smart bridges, and smart health. This talk explores engineering constructs underlying different types of smart systems and discusses theory that stem from smart systems design. The implementation part of the talk will describe work on application dealing with earthquakes, nuclear radiation detection, the smart grid and blog analysis. The theory part will discuss problems at the interface of game theory, nondeterministic systems and logic.

K. Mani Chandy is the Simon Ramo Professor at the California Institute of Technology in Pasadena, California. He received his B.Tech from IIT Madras and PhD at MIT in 1969 and was a professor at the University of Texas at Austin from 1970 to 1987, and has been at Caltech since then. Chandy has received numerous awards including the CMG Michelson, IEEE Kobayashi award, and teaching awards. He is a member of the U.S. National Academy of Engineering. His research is on distributed systems and performance analysis.