We're the Sequential Uncertainty Monitoring and Interpretability lab at TU Delft, led by Anna Lukina. We design mathematical formalisms and efficient algorithms to explore new ways to verify and monitor AI systems.
We are excited to explore new collaborations, and the lab accepts master’s and bachelor’s students every year. If you are interested in AI verification, probabilistic reasoning, and optimization algorithms, get in touch!
SUMI lab was created in October 2023 and will soon move to its own webpage.
Meet the team:
If you're interested in being part of my group, check out open projects!
I'm generally interested in the intersection of formal methods and machine learning (especially for control and verification), as well as topics around interpretability and visualizations.
There's a brief summary of my background on my CV page, and more recent information on my lab's research page.
If you are looking for projects and research directions that I would be excited to supervise or collaborate on right now, check out the list.
If you want to know more about my medium and long-term goals / perspectives, check out the research summary (pdf).
If you care about teaching, or if you're interested in an academic career in the long term, you may also want to have a look at my statement on teaching (pdf).
If you have concrete questions about SUMI Lab, send me an email.
🇯🇵
January 5 – February 13, 2026
Prof. Ryo Kuroiwa (黒岩稜), National Institute of Informatics, Tokyo, Japan.
🇨🇭
October 27–28, 2025
Prof. Clément Pit-Claudel, EPFL, Switzerland.
🇯🇵
October 28 – November 1, 2024
Prof. Masaki Waga (和賀 正樹), Kyoto University, Japan.
🇩🇪
September 12–13, 2024
Prof. Bernd Finkbeiner, CISPA, Germany.
🇺🇸
July 1–31, 2024
Simons Institute for the Theory of Computing, Berkeley, USA.
🇦🇹
May 5–7, 2022
Univ.-Prof. Mag.art Manuela Naveau PhD, Interface Cultures at The University of Art and Design Linz, and Nicolas Naveau, FUTURELAB at Ars Electronica, Linz, Austria.
🇩🇰
April 15–22, 2022
Prof. Kim Larsen and Dr. Christian Schilling, research group on Distributed, Embedded and Intelligent Systems (DEIS), Department of Computer Science, Aalborg University, Denmark.
🇺🇸
January 11 – May 31, 2021
Simons Institute for the Theory of Computing, Berkeley, USA. Research Fellow under mentorship of Dr. Pavithra Prabhakar.
🇦🇺
April 1, 2020
Prof. James Bailey, Prof. Peter J. Stuckey, Dr. Emir Demirović, University of Melbourne, Melbourne, Australia.
🇦🇺
February 11 – March 12, 2019
Prof. James Bailey, Prof. Peter J. Stuckey, Dr. Emir Demirović, University of Melbourne, Melbourne, Australia.
🇯🇵
February 1 – May 31, 2018
Prof. Fuyuki Ishikawa, Ishikawa Lab, National Institute of Informatics, and Prof. Ichiro Hasuo, ERATO MMSD, Tokyo, Japan.
🇩🇪
September 3 – December 31, 2017
Prof. Joost-Pieter Katoen, MOVES Group, RWTH Aachen University, Germany.
🇺🇸
May 15 – July 31, 2017
Prof. George Pappas and Prof. Vijay Kumar, GRASP Lab at PERCH, University of Pennsylvania, Philadelphia, PA, USA.
🇩🇰
Prof. Christian Schilling, Aalborg University, Denmark.
🇯🇵
Prof. Masaki Waga (和賀 正樹), Kyoto University, Japan.
🇩🇰
Prof. Christian Schilling, Aalborg University, Denmark.
🇦🇹
Dr. Andre Schidler, TU Wien, Austria.
🇦🇹
Prof. Djordje Zikelic (Đorđe Žikelić), Singapore Management University.
🇬🇧
Prof. Mirco Giacobbe, University of Birmingham, UK.
🇩🇰
Prof. Christian Schilling, Aalborg University, Denmark.
🇺🇸