Author: Wenchao Li
Our TrojDRL work appears in Wired today! We thank Will Knight and Wired Magazine for the coverage.
https://www.wired.com/story/tainted-data-teach-algorithms-wrong-lessons/
New paper accepted at DATE 2020
Paper on Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus accepted at DATE’20. Congratulations Kacper!
New NSF CPS Project with Roberto Tron and Cristina Nita-Rotaru
Securing multi-agent systems through physical cognition and control synthesis: Project website: http://sites.bu.edu/securingmas/ NSF Award: https://nsf.gov/awardsearch/showAward?AWD_ID=1932162
New ONR Project with Qi Zhu and Hyoseung Kim
This project will develop the foundations of a cross-layer paradigm for building adaptive, dependable and secure systems under weakly-hard real-time constraints.
Invited to serve on the TPC of DAC 2020
https://www.dac.com/call-for-contributions
Invited to serve on the TPC of TACAS 2020
https://etaps.org/2020/tacas
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!