Wenchao Li is an Associate Professor in the Department of Electrical and Computer Engineering at Boston University with affiliate appointments in Computer Science and Systems Engineering. Prior to joining BU, he was a Computer Scientist at SRI International, Menlo Park. He received his Ph.D. in Electrical Engineering and Computer Sciences from the University of California, Berkeley in 2013.  His research sits at the intersection of formal methods and machine learning, with a focus on building safe and trustworthy autonomous systems. He is a recipient of the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation for his work on specification mining, the Leon O. Chua Award for outstanding achievement in nonlinear science, and the NSF CAREER Award.