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

  1. Hiba Abderrazik, Giovan Angela, Hans Brouwer, Henky Janse, Sterre Lutz, Gwennan Smitskamp, Sandy Manolios, Cynthia C.S. Liem, (2019), Spotivibes: Tagging playlist vibes with colors, In IntRS 2019 Interfaces and Human Decision Making for Recommender Systems 2019 p.55-59, CEUR-WS.
  2. Jos Poolman, Modular molecular gels: Control over design, formation and properties

S.Lutz, MSc