
Nov 7, 2023:
I talked about verification of AIcontrolled systems at the DIREC Workshop on Verifiable and Robust AI.
The slides are available here.

Oct 26, 2023:
I talked about decisiontree control systems, the inverse problem for neural networks, and neuralnetwork control systems at (A)ISoLA 2023.
The slides are available: decisiontree control systems, inverse problem for neural networks, neuralnetwork 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 coorganized 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 2627, 2023:
I cochaired SPIN 2023, which was colocated 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 neuralnetwork control systems at the DIREC Seminar 2022.
The slides are available here.

Aug 11, 2022:
I coorganized 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 31Jun 6, 2022:
I visited Anna Lukina and Emir DemiroviÄ‡ at TU Delft's Algorithmics group, where I talked about verification of neuralnetwork control systems.
The slides are available here.

Dec 911, 2021:
I coorganized 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 coorganized the WOLVERINE workshop at ATVA 2021.

Jul 28, 2021:
I coorganized a minisymposium about set propagation ( video link) and talked about JuliaReach ( video link) at JuliaCon 2021.