Archived events
-
Aug 11, 2022:
I talked about reachability analysis for neural-network control systems at the DIREC Seminar 2022. The slides are available here. -
Aug 11, 2022:
I co-organized the WOLVERINE workshop at FLoC 2022. -
Jul 13, 2022:
I talked about reachability analysis (video link) at the Institute for Risk and Uncertainty in Liverpool. The slides are available here.
-
May 31-Jun 6, 2022:
I visited Anna Lukina and Emir Demirović at TU Delft's Algorithmics group. There I also talked about verification of neural-network control systems. The slides are available here. -
Dec 9-11, 2021:
I co-organized the JuliaReach & JuliaIntervals Days 2021. -
Oct 19, 2021:
I talked about reachability analysis at the MIT Julia Lab. The slides are available here. -
Oct 18, 2021:
I co-organized the WOLVERINE workshop at ATVA 2021. -
Jul 28, 2021:
I co-organized a minisymposium about set propagation (video link) and talked about JuliaReach (
video link) at JuliaCon 2021.