• Jan 10, 2025:
    I talked about equivalence checking of quantum circuits at the first seminar of CLASSIQUE, a new 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 22-23, 2024:
    I co-organized a session on Verifiable, Robust, and Explainable AI at the second D3A 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 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 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 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 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 video link) and talked about JuliaReach (video video link) at JuliaCon 2021.