Invited to serve on the TPC of TACAS 2020
https://etaps.org/2020/tacas
Author: Wenchao Li
Assistant Professor of ECE@BU
Invited to serve on the TPC of DATE 2020
https://www.date-conference.com/call-for-papers
Invited to serve on the TPC of HSCC 2020
https://berkeleylearnverify.github.io/HSCC_2020/index.html
Organizing a special session with Jyo Deshmukh on “Safe Autonomy” at ICCAD 2019.
Four exciting talks from industry and academia on the topic of safety assurance of autonomous systems using formal reasoning: https://iccad.com/event_details?id=283-7-A!
New paper accepted at EMSOFT 2019
Our paper “ReachNN: Reachability Analysis of Neural-Network Controlled Systems” has been accepted to appear at EMSOFT’19. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!
New paper accepted at ICLR SafeML Workshop
Paper on Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation accepted at ICLR’19 Workshop on SafeML. Congratulations, Jiameng!
New paper accepted at AAMAS 2019 and SafeThings 2019
Papers on resilience of multi-robot systems to physical masquerade attacks accepted at AAMAS’19 and SafeThings’19. Congratulations, Kacper!
Paper on verifying weakly-hard systems accepted at HSCC’19.
Wenchao was recently named a Junior Faculty Fellow at the Hariri Institute.
Institute Announces 2018 Faculty Fellows
Wenchao received the Peter J. Levine Career Development Professorship.
2018–2019 Career Development Awards Honor Eight Junior Faculty