-
Nov 7, 2023:
I talked about verification of AI-controlled systems at the DIREC Workshop on Verifiable and Robust AI.
The slides are available here.
-
Oct 26, 2023:
I talked about decision-tree control systems, the inverse problem for neural networks, and neural-network control systems at (A)ISoLA 2023.
The slides are available: decision-tree control systems, inverse problem for neural networks, neural-network control systems.
-
Sep 27, 2023:
I presented the DEIS group's vision on quantum computing at the AAU quantum workshop.
-
Sep 21, 2023:
I talked about the collaboration with my former colleague Sergiy Bogomolov, who passed away in 2023, at a memorial session at FORMATS 2023.
-
Aug 23, 2023:
I talked about symbolic analysis of quantum programs at the PhD course Quantum Information and Computing at AAU.
The slides are available here.
-
Jul 20, 2023:
I talked about shielded reinforcement learning at the Software and Systems Engineering group at the University of Konstanz.
The slides are available here.
-
Jul 17, 2023:
I co-organized the WOLVERINE workshop at CAV 2023.
-
Jul 7, 2023:
I joined the steering committee of SPIN.
-
May 27, 2023:
I attended the Aalborg Robotics Challenge workshop.
-
Apr 26-27, 2023:
I co-chaired SPIN 2023, which was co-located with ETAPS in Paris.
-
Mar 8, 2023:
I talked about symbolic analysis of quantum programs at FM 2023.
The slides are available here.
-
Mar 1, 2023:
I talked about reachability analysis via Carleman linearization at the symposium on Exact polynomialization and quadratization of nonlinear dynamics at SIAM CSE 2023.
The slides are available here.
-
Sep 26, 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, where I 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.