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.
6/2018: I've received an Education Innovation Award and a Research Innovation Award from UVa School of Engineering.
6/2018: I am co-organizing the Verification and Deduction Mentoring Workshop and Workshop on Robots, Morality, and Trust through the Verification Lens, which will be hosted at Federated Logic Conference (FLoC) 2018 in Oxford, UK.
6/2018: Our paper "Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models" has been accepted for publication in ACM Transactions on Cyber-Physical Systems.
3/2018: I've received an NSF CRII Award on "Cognitive Trust in Human-Autonomous Vehicle Interactions".
3/2018: My research on the safety of driverless cars is featured in a news article of UVA Today.