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.
3/2018: I've received an NSF CRII Award on "Cognitive Trust in Human-Autonomous Vehicle Interactions".
3/2018: My research is featured in a news article of UVA Today.
1/2018: I am co-organizing the 8th International Workshop on Medical Cyber-Physical Systems, which will be hosted at CPS Week 2018 in Porto, Portugal. Please consider to submit your work!
1/2018: Our paper "Counterexamples for Robotic Planning Explained in Structured Language" has been accepted by IEEE International Conference on Robotics and Automation (ICRA) 2018.
1/2018: Our paper "DAMON: A Data Authenticity Monitoring System for Diabetes Management" has been accepted by ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) 2018.
12/2017: Our paper "CityResolver: A Decision Support System for Conflict Resolution in Smart Cities" has been accepted by 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2018.
8/2017: I've received an NSF grant on "Safety-Critical Wireless Mobile Systems" with Professors Kamin Whitehouse and Cody Flemming at UVa.