Yiqi Zhao

☕️

Yiqi Zhao

PhD Student, Computer Science

About Me

Yiqi (Nick) Zhao is a PhD Candidate 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 PSI Lab at USC. He also works closely with Professor Lars Lindemann. His research interests include 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

DUET: Dual-Robot Understanding via Efficient Teaching

A dual-robot learning framework for mobile manipulation — pretrain on human-human demonstrations, then finetune on real-robot data.

Jan 1, 2026

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

IEEE Control Systems.

Aug 31, 2024

See all publications

Recent Publications

Yiqi Zhao, Ruohai Ge, Celina Shiyu Wang, Junjie Ye, Muchen Xu, Minhao Li, Sergey Zakharov, Basile Van Hoorick, Vitor Campagnolo Guizilini, Leonidas Guibas, Gaurav S. Sukhatme, Jyotirmoy v. Deshmukh, Yue Wang (2026). DUET: Dual-Robot Understanding via Efficient Teaching.

Cite Project Video Project Page

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

See all publications