Archived events

May 21-22, 2025:
I attended the STORM_SAFE meeting in Ostend.
May 13, 2025:
I talked about shielding at a DIREC workstream meeting in Aalborg. The slides are available here.
April 8, 2025:
I talked about equivalence checking of quantum circuits at the Danish Quantum Community (DQC)'s Scientific Quantum Conference 2025 in Aarhus. The slides are available here.
Jan 10, 2025:
I talked about equivalence checking of quantum circuits at the first seminar of CLASSIQUE, a basic research center on communication in the quantum era at AAU. The slides are available here.
Dec 15, 2024:
Suhaib Al-Rousan started as a Ph.D. student, working at the intersection of quantum computing and machine learning.
Dec 11-12, 2024:
I participated in the last bootcamp of AAU TECH's talent development course in Aalborg.
Dec 9, 2024:
I talked about equivalence checking of quantum circuits at the AAU Quantum Hub seminar. The slides are available here.
Nov 13-14, 2024:
I attended the STORM_SAFE meeting in Gothenburg.
Oct 31, 2024:
I talked about state-space transformation for shielding at AISoLA 2024. The slides are available here.
Oct 23, 2024:
I co-organized a session on Verifiable, Robust, and Explainable AI at the second D³A 2024.
Sept 26, 2024:
I attended the DFF conference in Copenhagen (which was also attended by H.M. The Queen), which included a celebration of the Sapere Aude grantees.
Sept 16-17, 2024:
I participated in the second bootcamp of AAU TECH's talent development course in Sæby.
Sept 2-6, 2024:
I attended the Dagstuhl Seminar Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy.
Sept 1, 2024:
Fouzi Tabouri started as a Ph.D. student, working on safe neural-network control systems.
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 Danish Quantum Community (DQC)'s 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 the first D³A 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 AISoLA 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 Ph.D. 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.
Apr 1, 2023:
Asger Horn Brorholt started as a Ph.D. student, working on shielded AI for continuous state spaces.
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.