Mardavij Roozbehani is a principal research scientist at the Laboratory for Information and Decision systems (LIDS). He received the Ph.D. degree in Aeronautics and Astronautics from MIT (2008), focusing on developing a control theoretic framework for verification of software systems. Between 2008 and 2011 he held postdoctoral and research scientist positions at LIDS. His main research interests include distributed and networked control systems, software and finite-state systems, and dynamics and economics of power systems with an emphasis on robustness and risk. Dr. Roozbehani is a recipient of the 2007 AIAA graduate award for safety verification of real-time software systems.