Simon Zhan
Scholar

Simon Zhan

Google Scholar ID: uO4dG0wAAAAJ
Northwestern University
Learning for ControlFormal MethodsOptimizationCyber-Physical Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
222
 
H-index
9
 
i10-index
6
 
Publications
17
 
Co-authors
9
list available
Contact
EmailSinongZhan2028@u.northwestern.eduCVOpen ↗TwitterOpen ↗GitHubOpen ↗
Publications
17 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
  • Published papers in venues such as ICML, NeurIPS, ICCPS, L4DC, FM, RV, and IROS.
Research Experience
  • Research intern at Amazon SFAI.
Education
  • PhD student in the ECE department at Northwestern University, advised by Qi Zhu; Undergraduate in Applied Math and Computer Science at UC Berkeley, advised by Sanjit A. Seshia.
Background
  • Research interests: Bridging reinforcement learning and formal methods to make embodied cyber-physical systems safe, robust, and verifiable. Combining formal verification with learning-based control to obtain machine-checkable guarantees without sacrificing adaptability or performance.
Co-authors
9 total
Yixuan Wang
Yixuan Wang
Ph.D., Northwestern University, USA
Qi Zhu
Qi Zhu
Professor of Computer Engineering
Ruochen Jiao
Ruochen Jiao
Northwestern University
Qingyuan Wu
Qingyuan Wu
University of Southampton, University of Liverpool
Zhuoran Yang
Zhuoran Yang
Yale University
Zhaoran Wang
Zhaoran Wang
Associate Professor at Northwestern University
Wanxin Jin
Wanxin Jin
Assistant Professor at Arizona State University
Co-author 8
Co-author 8