Wenchao Li, PhD

Associate Professor (ECE, SE Appointed)

Office 8 St. Mary’s St Boston, MA 02215 Room 336
Email wenchao@bu.edu
Phone (617) 353-0115
Website Dependable Computing Laboratory

Publications

View a complete list of publications chronologically by year.
View a complete list of publications by citation.

Research Areas

Trustworthy A.I.
Cyber-Physical Systems
Formal Methods
Design Automation

Honors and Awards

National Science Foundation CAREER Award 2024
Hariri Institute for Computing Junior Faculty Fellow 2018-2021
Peter J. Levine Career Development Professor 2018-2021
Hariri Institute Research Incubation Award 2018
ACM SIGDA Outstanding Ph.D. Dissertation Award, 2015
Leon O. Chua Award, 2013

Classes Taught

EC330: Applied Algorithms for Engineers
EC535: Introduction to Embedded Systems
EC545: Cyber-Physical Systems
EC551: Advanced Digital Design with Verilog and FPGA
EC754: Computer-Aided Verification and Synthesis

Additional Affiliations

Division of Systems Engineering
Department of Computer Science
Center for Information & System Engineering
Rafik B. Hariri Institute for Computing and Computational Sciences & Engineering

Departments or Divisions: Electrical & Computer Engineering, Robotics & Autonomous Systems, Systems Engineering

Affiliations: Intelligent, Autonomous & Secure Systems, Primary & Affiliated Faculty

View all profiles