Verified Compilation of the Modular Reset, Finally Nov 28, 2019 Project Slides Lélio Brun Postdoctoral research scientist in Computer Science My research interests include synchronous languages, functional programming and verified compilation.