Yiqi Zhao
Scholar

Yiqi Zhao

Google Scholar ID: kim0L6QAAAAJ
PhD Student of Computer Science, University of Southern California
RoboticsCyber-Physical SystemsFormal MethodsSystems and Control Theory
Citations & Impact
All-time
Citations
77
 
H-index
4
 
i10-index
2
 
Publications
10
 
Co-authors
11
list available
Resume (English only)
Academic Achievements
  • He has published multiple papers in international conferences and journals such as EMSOFT, TCPS, IEEE Control Systems Magazine, etc. One of his papers was a Best Paper Finalist at ICCPS 24.
Research Experience
  • He is a member of the CPS-VIDA lab and the GVL Lab at USC, and he also works closely with Professor Lars Lindemann.
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. He is advised by Professor Jyo Deshmukh, Professor Yue Wang, and works closely with Professor Lars Lindemann.
Background
  • He is a PhD Student in Computer Science at the University of Southern California. His research interests include neurosymbolic cyber-physical systems (CPS) and robotics design and verification.
Miscellany
  • His interests include Robotics, Cyber-Physical Systems, Formal Methods, and Systems and Control Theory.