Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset Oct 14, 2021 Project Slides Lélio Brun Postdoctoral research scientist in Computer Science My research interests include synchronous languages, functional programming and verified compilation.