University of Virginia
I joined the Link Lab at the University of Virginia (UVA) in January 2017, as a tenure-track Assistant Professor in Computer Science, with a secondary appointment in System and Information Engineering. The lab was created as part of a new initiative at UVA to create a collaborative world class center of research excellence in Cyber-Physical Systems (CPS). This initiative begins with over a dozen faculty drawn from multiple departments and will build upon existing strengths, such as UVA’s pioneering work in areas such as Body Sensors, Smart Buildings, Wireless Health, Bio-inspired Platforms, and Intelligent Transportation Systems.
I received my D.Phil. (Ph.D.) in Computer Science from the University of Oxford in 2014, advised by Professor Marta Kwiatkowska. I also hold 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. I have received various awards including the prestigious James S. McDonnell Foundation Postdoctoral Fellowship, ACM SIGMOBILE N2 Women Young Researcher Fellowship, UK Engineering and Physical Sciences Research Council Scholarship, and Cambridge Trust Scholarship.
My research focuses on assuring the safety, security and reliability of cyber-physical systems, through formal methods and data-driven approaches, with applications in medical CPS and autonomous robots.
At Precise, I was a postdoc advised by Professor Insup Lee. I worked with Professors Oleg Sokolsky and Linh T.X. Phan. I have involved in various research projects, such as the NSF large project on Medical CPS and the NSF-Intel partnership project on CPS security led by Professor Lee. I was also a guest lecturer of CIS 441/541 (Embedded Software for Life-Critical Applications).