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.