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 (USC). He is advised by Professor Jyo Deshmukh and Professor Yue Wang. He is honored to be a member of the CPS-VIDA lab and the GVL Lab at USC. 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

Robotics
Cyber-Physical Systems
Formal Methods
Systems and Control Theory

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

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

EMSOFT.

Jul 20, 2025

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

TCPS.

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

See all publications

Recent Publications

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy v. Deshmukh, Lars Lindemann (2025). STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. the ACM SIGBED International Conference on Embeddeed Software, 2025.

PDF Cite

Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma (2025). Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities. ACM Transactions 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. ACM Transactions on Cyber-Physical Systems.

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

See all publications