Wenchao Li

Wenchao Li is an Assistant Professor in the Department of Electrical and Computer Engineering at Boston University, directing the Dependable Computing Laboratory. He holds a B.S., M.S., and Ph.D. in Electrical Engineering and Computer Sciences, along with a B.A. in Economics from UC Berkeley. His research focuses on dependable computing, applying formal verification, machine learning, and control theory to cyber-physical systems, electronic design automation, and AI safety.

Key research interests include neural network verification, safe reinforcement learning, autonomous systems security, and resilient control strategies for connected vehicles. His work emphasizes provable safety guarantees and defense against adversarial attacks in critical infrastructure systems.

Notable awards include the ACM Outstanding Ph.D. Dissertation Award and the Leon O. Chua Award. His lab investigates topics such as neural network repair, secure multi-robot coordination, and formal methods for autonomous systems. He advises students like Jiameng Fan and collaborates on projects funded by grants in AI safety and cyber-physical systems.

• Labs/Teams: Dependable Computing Laboratory
• Grants: Focus on formal verification, AI safety, and autonomous systems resilience