Yiqi Zhao

☕️

Yiqi Zhao

PhD Student, Computer Science

About Me

Yiqi (Nick) Zhao is a PhD Student in Computer Science at the University of Southern California. He is advised by Professor Jyo Deshmukh and Professor Yue Wang. He also works closely with Professor Lars Lindemann. His research interests include neurosymbolic cyber-physical systems (CPS) and robotics design and verification.

Download CV

Interests

Formal Methods
Cyber-Physical Systems
Systems and Control Theory
Robotics

Education

PhD, Computer Science
University of Southern California
MS, Computer Science
University of Southern California
BSc, magna cum laude, Honors in Computer Science
Vanderbilt University

Featured Publications

Conformal Predictive Programming for Chance Constrained Optimization

Currently under review in Automatica.

May 5, 2025

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

Currently under review in IEEE Control Systems Magazine.

Aug 31, 2024

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

IoTDI 23.

Feb 22, 2023

Recent Publications

Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma (2025). Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities. ACM Transaction on Cyber-Physical Systems.

PDF Cite

Yiqi Zhao, Xinyi Yu, Matteo Sesia, Jyotirmoy v. Deshmukh, Lars Lindemann (2025). Conformal Predictive Programming for Chance Constrained Optimization. arXiv preprint arXiv:2402.07407.

PDF Cite Code

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 Slides

See all publications