{"id":20457,"date":"2017-02-27T12:18:34","date_gmt":"2017-02-27T17:18:34","guid":{"rendered":"http:\/\/www.bu.edu\/systems\/?post_type=profile&#038;p=20457"},"modified":"2024-07-11T11:32:09","modified_gmt":"2024-07-11T15:32:09","slug":"wenchao-li","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/cise\/profile\/wenchao-li\/","title":{"rendered":"Wenchao Li"},"content":{"rendered":"<p class=\"p2\"><span class=\"s1\">Wenchao Li is an <span>Associate Professor in the Department of Electrical and Computer Engineering (ECE) at Boston University <\/span><span>with affiliate appointments in Computer Science (CS) and Systems Engineering (SE)<\/span><span>. <\/span><\/span><span class=\"s1\"><span class=\"w8qArf\">He is a Faculty Affiliate of the <a href=\"https:\/\/www.bu.edu\/cise\/\" target=\"_blank\" rel=\"noopener noreferrer\">Center for Information &amp; Systems Engineering (CISE)<\/a>\u00a0and a Faculty Affiliate and previous Junior Faculty Fellow at the Rafik B. Hariri Institute for Computing and Computational Science &amp; Engineering.<\/span><\/span><\/p>\n<p class=\"p2\"><span class=\"s1\">He directs the <a href=\"https:\/\/sites.bu.edu\/depend\/\" target=\"_blank\" rel=\"noopener noreferrer\">Dependable Computing Laboratory<\/a>. <\/span>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 &amp; 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. <span class=\"s1\">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<p class=\"p2\">Professor Li&#8217;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.<\/p>\n","protected":false},"author":1500,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/profile\/20457"}],"collection":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/users\/1500"}],"version-history":[{"count":14,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/profile\/20457\/revisions"}],"predecessor-version":[{"id":41126,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/profile\/20457\/revisions\/41126"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/media?parent=20457"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}