![](/cs/files/2017/05/Wenchao-Li-pic-for-web.jpg)
Assistant Professor – Electrical & Computer Engineering
Wenchao Li is an Assistant Professor in the Department of Electrical and Computer Engineering at Boston University and directs the Dependable Computing Laboratory. Prior to joining BU, he was a Computer Scientist in the Computer Science Laboratory 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 are in dependable computing, with a current focus on applying computational proof methods and machine learning techniques to problems in cyber-physical systems, electronic design automation, and A.I. safety. His awards include the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation and the Leon O. Chua Award for outstanding achievement in nonlinear science.