January 28th, 2026

Spotlight on Anna Lukina

#WomenInELLIS
Say hi to Anna Lukina, Assistant Professor at TU Delft 🇳🇱

She is an ELLIS Member and a part of the ELLIS Unit Delft.

Her area of research is at the intersection of artificial intelligence, formal methods, and control theory - advancing theory and algorithms for safe and interpetable intelligent systems.

She says a goal for herself in the field is to, “aim to rethink the monolithic view of neuro-symbolic methods on AI verification and leverage the intrinsic compositionality of many real-world intelligent systems for sustainable certificate and policy synthesis.”

Participating in this campaign was important to her, because she says it is one of the essential, continual efforts we must make to improve the diversity of academic STEM talent in the long term.

ELLIS Edge Newsletter
Join the 6,000+ people who get the monthly newsletter filled with the latest news, jobs, events and insights from the ELLIS Network.