Yiqi Zhao ☕️
Yiqi Zhao
赵一淇

PhD Candidate, 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 works toward intelligent and safe multi-robot systems.

"One day, I just wanted to keep swimming, until the sea turned blue." — Yu Hua

「有一天我就想一直游,我想一直游到海水变蓝」——余华

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

News
Oct 2026 🏆 Logic-VLA won the Best Poster Award at the IROS 2026 LAFR Workshop.
Sep 2026 🏆 DUET won Best Contribution at the IROS 2026 RWCMRC Workshop and was a Best Paper Finalist at the IROS 2026 PhysCollaBot Workshop.
Dec 2025 Formal Verification and Control with Conformal Prediction published in IEEE Control Systems.
Jul 2025 STL-GO accepted to ACM TECS and EMSOFT 2025.
Jul 2025 Distributionally robust predictive runtime verification accepted to ACM Transactions on Cyber-Physical Systems.
Featured Publications Full List →
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

ACM Transactions on Embedded Computing Systems

ACM SIGBED International Conference on Embedded Software (EMSOFT)

Jul 20, 2025

Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities

ACM Transactions on Cyber-Physical Systems

May 27, 2025

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

🏆 Best Paper Award Finalist, ICCPS 2024

The 15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

Nov 16, 2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

The 8th ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI)

Feb 22, 2023

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). 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
2026 · Best Poster Award  IROS 2026 LAFR Workshop
2026 · Best Contribution  IROS 2026 RWCMRC Workshop
2026 · Best Paper Finalist  IROS 2026 PhysCollaBot Workshop
2024 · Best Paper Award Finalist  ICCPS 2024
2023 · Viterbi School of Engineering Fellowship  USC
2021 · VISE Summer Fellowship  Vanderbilt Institute for Surgery and Engineering
Academic Services
Journal Reviewer NAHSRA-L
Conference Reviewer ACCVMCAICDCICLRAISTATSHSCCL4DCICCPSNEUSMECCICRANeurIPSIASEAI
Program Committee HSCC 2024 (Repeatability Evaluation)HSCC 2025 (Repeatability Evaluation)ICCPS 2025 (Posters and Demos)