Yiqi Zhao ☕️
Yiqi Zhao

PhD Student, Computer Science

University of Southern California

About Me

Yiqi (Nick) Zhao is a PhD Student in Computer Science at the University of Southern California. He works with Professor Jyo Deshmukh and Professor Lars Lindemann. He obtained his bachelor’s degree at Vanderbilt University where he closely worked with Professor Meiyi Ma. His research interests include design, verification, and testing of learning-enabled Cyber-Physical Systems (CPS) and Robotics, using tools from formal methods, statistics, optimization, and systems and control theory.

Download CV
Interests
  • Formal Methods
  • Cyber-Physical Systems
  • Systems and Control Theory
  • Robotics
Education

  • PhD, Computer Science

    University of Southern California

  • BSc, magna cum laude, Honors in Computer Science

    Vanderbilt University

Featured Publications
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Currently under review in ACM Transactions on Cyber-Physical Systems.

Apr 3, 2025

Formal Verification and Control with Conformal Prediction
Formal Verification and Control with Conformal Prediction

Currently under review in IEEE Control Systems Magazine.

Aug 31, 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

ICCPS 24, Best Paper Finalist.

Nov 16, 2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Fairguard: Harness Logic-based Fairness Rules in Smart Cities

IoTDI 23.

Feb 22, 2023

Recent Publications
Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy v. Deshmukh, Lars Lindemann (2025). Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. arXiv preprint arXiv:2504.02964.
PDF Cite Code Poster Video
Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi Markov, Christof Budnik, Helmut Degen, Lars Lindemann, Jyotrimoy Deshmukh (2024). Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. 22nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE).
PDF Cite
Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy v. Deshmukh (2024). Formal Verification and Control with Conformal Prediction. arXiv preprint arXiv:2409.00536.
PDF Cite
Yiqi Zhao, Xinyi Yu, Jyotirmoy v. Deshmukh, Lars Lindemann (2024). Conformal Predictive Programming for Chance Constrained Optimization. arXiv preprint arXiv:2402.07407.
PDF Cite Code
Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann (2023). Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. arXiv preprint arXiv:2311.04242.
PDF Cite Code
See all publications