She is also a member of the Link Lab - the center of research excellence in Cyber-Physical Systems at the University of Virginia. Previously, she was a postdoctoral fellow at the University of Pennsylvania and received her PhD in Computer Science from the University of Oxford. Her research focuses on assuring the safety, trustworthiness and performance of cyber-physical systems, drawing on formal methods, machine learning and control. She has received several awards including NSF CISE CRII Award, James S. McDonnell Foundation Postdoctoral Fellowship, Rising Stars in EECS, UK Engineering and Physical Sciences Research Council Scholarship, and Cambridge Trust Scholarship.