Shuo is a Ph.D. student at University of Pennsylvania. Previously, he obtained his Bachelor’s degree (Summa Cum Laude) from Shanghai Jiao Tong University in 2021. He has also spent time at Toyota Research and Tencent AI. He is broadly interested in formal methods, machine learning, control theory, and algorithmic game theory, with their applications to robotic and multi-agents systems.