I obtained Ph.D. in Electrical and Computer Engineering from the University of Virginia, where I worked with Prof. Homa Alemzadeh. I received my M.Eng in Control Science and Engineering and my B.Eng in Automation from Shandong University. Before joining the Dependable Systems and Analytics Lab at UVA in 2019, I was a Project Manager and Engineer at NR Research Institute, State Grid of China.

My research interests are at the intersection of computer systems dependability and control system theory& engineering. I am particularly interested in engineering safer autonomous systems through resilience assessment, security validation, and artificial intelligence techniques.

Research Interests

• System Dependability & Security
• Cyber-Physical Systems
• Formal Methods
• Machine Learning
• Autonomous Driving, Healthcare

Recent News:

• Oct 2023. I'm hornored to receive the UVA Engineering Endowed Graduate Fellowship Award.
• Oct 2023. I'm serving on the program committees of USENIX Security Symposium 2024 Artifact Evaluation.
• Oct 2023. I'm serving on the program committees of DSN 2024 Artifact Evaluation.
• Jul 2023. I'm serving as the Web and Social Media co-Chair for ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2024).
• Jul 2023. I was invited to give a talk at Washington University in St. Louis & Northeastern University (the Experiential AI Team).
• Jun 2023. I'm serving on the program committees of USENIX Security Symposium 2023 Artifact Evaluation.
• Jun 2023. Our TDSC paper "Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for CPS" was selected for CCI Research Showcase.
• Jun 2023. Our DSN paper "Strategic Safety-Critical Attacks Against an Advanced Driver Assistance System" was selected for CCI Research Showcase.
• May 2023. I'm selected as one of the Rising Stars in CPS to participate and give a presentation at CPS Rising Star 2023 Workshop at the University of Virginia.
• Apr 2023. I'm serving on the program committees of DSN 2023 Doctoral Forum.
• Feb 2023. Our paper “Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems” has been accepted by IEEE Transactions on Dependable and Secure Computing (TDSC). (Impact Factor ~ 6.8)
• Oct 2022. I was selected to give a poster presentation at the Virginia Academy of Science, Engineering, and Medicine Summit (VASEM 2022).
• Jun 2022. I presented our paper "Strategic Safety-Critical Attacks Against an Advanced Driver Assistance System" in 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2022). [video]