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 Univeristy 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.
12/2016: I've been invited to serve on the program committee of RV 2017.