Wenchao Li is an Assistant Professor in the Department of Electrical and Computer Engineering at Boston University with affiliate appointments in Computer Science and System 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 received the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation for his work on specification mining and the Leon O. Chua Award for outstanding achievement in nonlinear science. He has published many peer-reviewed papers in top venues across the areas of machine learning, formal verification, design automation, and cyber-physical systems.