Biography

Wenchao Li is an Assistant Professor in the Department of Electrical and Computer Engineering at Boston University and directs the Dependable Computing Laboratory. He currently holds the Peter J. Levine Career Development Professorship and is a Junior Faculty Fellow at the Rafik B. Hariri Institute for Computing and Computational Science & Engineering. Prior to joining BU, he was a Computer Scientist at SRI International, Menlo Park. He received a B.S., M.S. and Ph.D. in Electrical Engineering and Computer Sciences and a B.A. in Economics from the University of California, Berkeley.  His research interests lie broadly in the area of dependable computing, with a recent focus at the intersection of formal methods and machine learning and with applications to cyber-physical systems, design automation, and A.I. safety.  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.