Yiqi Zhao ☕️
Yiqi Zhao

PhD Candidate, Computer Science

University of Southern California

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 focuses on multirobot 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

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

Jun 14, 2026

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

Yiqi Zhao*, Xinyi Yu*, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

the ACM SIGBED International Conference on Embedded Software, 2025.

Jul 20, 2025

PDF Cite
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

ACM Transactions on Cyber-Physical Systems.

Apr 3, 2025

PDF Cite Code Poster Video
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024, Best Paper Finalist.

Nov 16, 2023

PDF Cite Code
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma

8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023.

Feb 22, 2023

PDF Cite
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.
PDF Cite Video Project
Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh (2025). Formal Verification and Control with Conformal Prediction. IEEE Control Systems.
PDF Cite Slides
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 Embedded 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, 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

Experience

  1. Toyota Research Institute of North America logo

    Research and Development Intern

    Toyota Research Institute of North America
    Worked on cyber-physical systems research at the Future Research Department; Conducted research on Model Predictive Path Integral (paper coming soon). Supervisors: Georgios Fainekos, Bardh Hoxha.
  2. ADP logo

    Application Development Intern

    ADP
    Full stack API development for the Autopay Group within the Global Product & Tech group. Supervisor: Jim Farber.
Awards
ICCPS Best Paper Award Finalist
15th ACM/IEEE International Conference on Cyber-Physical Systems ∙ 2024
Awarded for the paper “Robust Conformal Prediction for STL Runtime Verification under Distribution Shift”.
Viterbi School of Engineering Fellowship
Viterbi School of Engineering, USC ∙ 2023
Awarded to selected incoming PhD students at the Viterbi School of Engineering, USC.
VISE Award (Vanderbilt Institute for Surgery and Engineering Summer Fellowship)
Vanderbilt Institute for Surgery and Engineering ∙ 2021
Awarded for the paid fellowship at the Vanderbilt Institute for Surgery and Engineering Summer Fellows Program.