Zhixu Li is currently a third-year Ph.D. 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.