Towards a Verified Lustre Compiler With Modular Reset May 30, 2018 Project Slides Lélio Brun Postdoctoral research scientist in Computer Science My research interests include synchronous languages, functional programming and verified compilation.