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, security and reliability 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.
04/2017: I've been invited to attend Microsoft Research Faculty Summit 2017.
04/2017: Our paper "A Formal Human Reliability Analysis of a Community Pharmacy Dispensing Procedure" has been accepted by Human Factors and Ergonomics Society (HFES) 2017 (61st) International Annual Meeting.
04/2017: I've received a 4-VA Collaborative Research grant on "Human-in-the-Loop Planning of Distributed Multi-Robot Teams for Emergency Response". This is a joint project with Pratap Tokekar at Virginia Tech.
12/2016: I've been invited to serve on the program committee of RV 2017.