I am an Assistant Professor at the Department of Computer Science and Department of Systems and Information Engineering at the University of Virginia. I am also a member of the Link Lab - the center of research excellence in Cyber-Physical Systems at the University of Virginia. Previously, I was a postdoctoral fellow at the University of Pennsylvania. I hold a PhD in Computer Science from the University of Oxford, a M.Phil. in Computer Speech, Text and Internet Technology from the University of Cambridge, and a B.Eng. in Information Engineering from the Beijing University of Posts and Telecommunications.

My research focuses on assuring the safety and trustworthiness of cyber-physical systems (CPS). I develop modeling and analysis methods for CPS, drawing on formal methods, machine learning, optimal control, and human factors. I also work across many different application domains, from medical devices, to autonomous robots, to smart cities.

I was honored to receive the prestigious James S. McDonnell Foundation Postdoctoral Fellowship, which only selects 10 recipients internationally and trans-disciplinary each year. I have also received various other awards, such as the ACM SIGMOBILE N2 Women Young Researcher Fellowship, UK Engineering and Physical Sciences Research Council Scholarship, and Cambridge Trust Scholarship.

Recent News