Zhixu Li is currently a second-year PhD student at UC Riverside. His research interests focus on the intersection of formal methods, imitation learning, and reinforcement learning, particularly their applications in robotics. The ultimate goal is to develop a trustworthy embedded AI system.