Sterre Lutz

Sterre is a PhD student at the Algorithmics group of Technische Universiteit Delft (NL). Under the guidance of Dr. Anna Lukina and Prof. Matthijs Spaan, she explores the intersection of formal methods and machine learning for the verification of black-box systems.