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.