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.
Publications from Pure
No results found, or Pure is temporary unavailable.
![](https://filelist.tudelft.nl/_processed_/b/9/csm_Lutz_0b81052c41.jpg)
S.Lutz, MSc
- S.Lutz@tudelft.nl
-
Building 28
Van Mourik Broekmanweg 6
2628 XE Delft
The Netherlands