Sterre Lutz

I am Sterre Lutz, a PhD candidate within TU Delft's Algorithmics group, under the expert guidance of Dr. Anna Lukina. Armed with a bachelor's degree in Computer Science and Engineering from TU Delft and a master's in Artificial Intelligence from Universiteit Utrecht, my research pursuits are centered around (temporal) logic for the verification and synthesis of safety-critical systems. In close collaboration with Dr. Anna Lukina, my primary objective is to combine formal methods with machine learning for guaranteed deployment of black-box systems.