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 Systems Engineering (SE). He is a Faculty Affiliate and previous Junior Faculty Fellow at the Rafik B. Hariri Institute for Computing and Computational Science & Engineering and is a Faculty Affiliate of the Center for Information & Systems Engineering (CISE).

Dr. Li’s research interests include: trustworthy AI, cyber-physical systems, formal methods, machine learning.

He directs the Dependable Computing Laboratory, where research includes development of computational proof methods (a.k.a. formal methods) and machine learning techniques to aid the construction of safe, reliable and secure systems. Applications of their work run the gamut from electronic design automation, through multi-robot systems, to self-driving cars. 

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.

In 2018, he was awarded the Peter J. Levine Career Development Professorship. He is also 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. 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 Profile