|
|||||||||||
|
|
|||||||||||
|
K. Mani Chandy
| research group | personal page
Research The Infospheres Group is part of the Rigorous Systems Research Group (RSRG). The group does research on distributed systems with an emphasis on sense and respond systems based on event-driven architectures; the theory of formal semantics and verification of distributed systems; Bayesian decision theory and game theory applied to distributed systems; smart systems such as the smart electric grid, and the development of applications such as systems that use inexpensive sensors and mobile phones to warn of shaking from earthquakes; systems that locate and detect dangerous sources of radiation; and systems that use mobile phones and inexpensive sensors to detect and identify abnormal readings of medical data.
| top | |
|
||||||||||
|