She obtained her doctorate in Computer Science from the University of Illinois at Urbana-Champaign (UIUC) in 2011, from where she also obtained a masters in Applied Mathematics. She was previously a CMI (Center for Mathematics of Information) fellow at Caltech and has held a faculty position at the IMDEA Software Institute. Her main research interest is in the Formal Analysis of Cyber-Physical Systems, with emphasis on both theoretical and practical methods for verification and synthesis of hybrid control systems. She is the recipient of a best paper honorable mention award from HSCC, Sohaib and Sara Abbasi fellowship from UIUC and M.N.S Swamy medal from the Indian Institute of Science. She has been awarded a Marie Curie Career Integration Grant from the European Union, an NSF CAREER Award and a Summer Faculty Fellowship from Air Force Research Lab.