Wenchao Li

Wenchao Li is an Associate Professor in the Department of Electrical and Computer Engineering (ECE) at Boston University with affiliate appointments in Computer Science (CS) and 系统工程 (SE). He is a Faculty Affiliate of the Center for Information & 系统工程 (CISE) and a Faculty Affiliate and previous Junior Faculty Fellow at the Rafik B. Hariri Institute for Computing and Computational Science & Engineering.

He directs the Dependable Computing Laboratory. In 2018, he was awarded the Peter J. Levine Career Development Professorship. He is a Faculty Affiliate and previous 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. Professor Li 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 Ph.D. thesis on specification mining was awarded the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation. He also received the Leon O. Chua Award at UC Berkeley for outstanding achievement in the area of nonlinear science.

Professor Li’s 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.

Website

Google Scholar Page