-
Sept 2-6, 2024:
I attended the Dagstuhl Seminar Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy.
-
Aug 26-28, 2024:
I talked about verification of AI-controlled systems at a workshop on reinforcement learning at Klitgaarden Refugium.
The slides are available here.
-
Jul 22-23, 2024:
I co-chaired SAIV 2024 (the first International Symposium on AI Verification), which was co-located with CAV 2024.
-
Jul 15, 2024:
I talked about verification of AI-controlled systems at the Software and Systems Engineering group at the University of Konstanz.
The slides are available here.
-
Jun 13-14, 2024:
I participated in the first bootcamp of AAU TECH's talent development course in Frederikshavn.
-
Jun 4-7, 2024:
Lukas Koller and Tobias Ladner were visiting.
-
Jun 4, 2024:
I talked about verification of decision-tree control systems at the AAU AI/ML seminar.
The slides are available here.
-
Jun 1, 2024:
I got tenure and was promoted to associate professor.
-
May 31, 2024:
I attended the STORM_SAFE meeting at the Emssperrwerk in Germany.
-
May 2, 2024:
The AAU Quantum Hub was officially launched.
-
Apr 15-16, 2024:
I attended the Scientific Quantum Conference in Odense.
-
Mar 20, 2024:
I talked about my experience with a Sapere Aude application at an AAU funding info meeting.
-
Feb 1, 2024:
I talked about safe AI-controlled systems at D3A 2024.
The slides are available here.
-
Jan 29-31, 2024:
I attended the STORM_SAFE kickoff meeting in The Hague.
-
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.
-
Sept 27, 2023:
I presented the DEIS group's vision on quantum computing at the AAU quantum workshop.
-
Sept 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, which was co-located with 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 2023 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.
-
Sept 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, which was co-located with 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, which was co-located with ATVA 2021.
-
Jul 28, 2021:
I co-organized a minisymposium about set propagation ( video link) and talked about JuliaReach ( video link) at JuliaCon 2021.