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. Ekaterina D. Garina, Ruud den Adel, John van Duynhoven, Gregory N. Smith, Robert M. Dalgliesh, Michael Sztucki, W.G. Bouwman, SANS and SAXS: A Love Story to unravel structural evolution of soy proteins and polysaccharide fibres during high moisture extrusion for meat alternatives, In Food Hydrocolloids Volume 155.
  3. Jos Poolman, Modular molecular gels: Control over design, formation and properties

S.Lutz, MSc