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.