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 interests lie broadly in dependable computing with a focus on exploring the new fundamental science at the intersection of formal methods and machine learning. 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.