He received his Ph.D. in 2008 from the University of California, Berkeley and was a Postdoctoral Scholar at the California Institute of Technology until 2012. His research is on the analysis, design, and verification of networked, information-based systems. Current projects are in autonomy, advanced vehicular systems, and energy networks.