Making provably safe, robust decisions in an uncertain world with often conflicting interests.

Modern cyber-physical systems are becoming increasingly distributed, heavily reliant on data, and often involve strategic interactions. Power grids must operate with uncertain renewable generation and flexible demand; Prosumers and electric vehicle owners can actively participate in the electricity grid and the energy market; Autonomous vehicles act on imperfect predictions of their environment to make safety-critical decisions about their motion. In these systems, reliability depends on the coordinated behavior of many interacting agents with local information, constraints, and objectives. My research develops the mathematical and algorithmic foundations needed to make this coordination efficient, resilient, and safe.