Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset

Last updated on Apr 13, 2023
Project Slides
Lelio Brun
Lelio Brun
Postdoctoral research scientist in Computer Science

My research interests include synchronous languages, functional programming and verified compilation.