Archived events

• Oct 31, 2024:
  I talked about state-space transformation for shielding at AISoLA 2024. The slides are available here.
• Oct 22-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.
• 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 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 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.