Keyi Shen

I am a second-year MS student in Department of Electrical & Computer Engineering at University of Illinois Urbana-Champaign, co-advised by Prof. Huan Zhang and Prof. Yunzhu Li. I obtained my Bachelors degree from Zhejiang University and University of Illinois Urbana-Champaign, where I was fortunate to collaborate with Prof. Sayan Mitra.

My research focuses on advancing intelligent and trustworthy robotic systems by bridging robot learning and formal verification. Driven by this vision, I explore topics such as motion planning in robotic manipulation, formal verification of neural networks, and reachability analysis of hybrid systems.

keyis2 [at] illinois.edu  /  Github

We propose a GPU-accelerated branch-and-bound (BaB) framework for long-horizon planning with neural dynamics (ND) models.

We present parallel and incremental verification algorithms for hybrid systems, which concurrently construct reachability trees and effectively reuse previous computations.

We propose an open-source tool for modeling, simulation, and verification of multi-agent hybrid systems in Python. It has been used by over 70 students in ECE 484 at UIUC.