She received her S.B. degree in mechanical engineering and material science from Harvard University in 2007, M.S. and Ph.D. in mechanical engineering from the California Institute of Technology in 2008 and 2013, respectively. Her doctoral work focused on the use of formal methods and timed specification languages in the design and analysis of large-scale, complex, distributed control systems.