Anna LukinaView profile
Assistant Professor
Anna Lukina is an Assistant Professor in the Department of Intelligent Systems at Delft University of Technology's Faculty of Electrical Engineering, Mathematics and Computer Science. She leads the Sequential Uncertainty Monitoring and Interpretability (SUMI) Lab, focusing on improving safety and interpretability of artificial intelligence through formal methods with applications in engineering, transportation, health, and finance. Her research spans the critical intersection of formal verification and machine learning, particularly in developing techniques for runtime monitoring of neural networks, safety verification of decision-tree policies, and creating verifiable reinforcement learning systems. She has established strong international collaborations with researchers across the US, Europe, Japan, and Australia. Lukina's recent publications (2021-2025) demonstrate consistent output in top AI venues including AAAI, NeurIPS, and IJCAI, with a clear trajectory toward increasingly sophisticated verification techniques for complex AI systems. Her work shows strong emphasis on practical applications while maintaining theoretical rigor, particularly in creating methods that provide formal guarantees for black-box AI systems. As part of her service commitment, she leads initiatives promoting junior computer scientists from underrepresented communities, reflecting her dedication to diversity in the field as highlighted in her DerStandard interview "Warum so wenige Frauen Den Code knacken wollen" and university magazine Delta. She currently supervises multiple PhD researchers including Sterre Lutz, Daniël Vos, Aaron Berger, and Johannes Koch, along with numerous successful MSc graduates who have completed theses on topics ranging from anomaly detection to genetic programming for explainable AI.





