{"id":13795,"date":"2018-03-15T16:42:45","date_gmt":"2018-03-15T20:42:45","guid":{"rendered":"https:\/\/www.bu.edu\/hic\/?post_type=profile&p=13795"},"modified":"2024-07-31T18:10:29","modified_gmt":"2024-07-31T22:10:29","slug":"wenchao-li","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/hic\/profile\/wenchao-li\/","title":{"rendered":"Wenchao Li"},"content":{"rendered":"

Wenchao Li is an Associate Professor in the Department of Electrical and Computer Engineering (ECE) at Boston University <\/span>with affiliate appointments in Computer Science (CS) and Systems Engineering (SE)<\/span>. <\/span><\/span>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)<\/a>.<\/span><\/span><\/p>\n

Dr. Li’s research interests include:<\/span> <\/span>trustworthy AI, cyber-physical systems, formal methods, machine learning.<\/span><\/span><\/span><\/p>\n

He directs the Dependable Computing Laboratory, <\/a><\/span>where research includes<\/span>\u00a0development of\u00a0computational proof methods<\/em> (a.k.a. formal methods) and machine learning<\/em> techniques to aid the construction of safe<\/em>, reliable<\/em> and secure<\/em> systems. Applications of their work run the gamut from electronic design automation, through multi-robot systems, to self-driving cars.\u00a0<\/span><\/p>\n

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\u00a0Electrical Engineering and Computer Sciences and a B.A. in Economics from the\u00a0University of California, Berkeley. \u00a0His 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. \u00a0His awards include the\u00a0ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation and the Leon O. Chua Award for outstanding achievement in nonlinear science.<\/span><\/p>\n

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.\u00a0 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\u00a0ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation. He also received the\u00a0Leon O. Chua Award at UC Berkeley for outstanding achievement in the area of nonlinear science.<\/span><\/p>\n

Professor Li\u2019s 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.<\/p>\n

Website<\/a><\/p>\n

Google Scholar Profile<\/a><\/p>\n

 <\/p>\n","protected":false},"author":8550,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/13795"}],"collection":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/users\/8550"}],"version-history":[{"count":10,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/13795\/revisions"}],"predecessor-version":[{"id":33584,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/13795\/revisions\/33584"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/media?parent=13795"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}