Proving a Lustre Compiler Part 2

Last updated on Apr 13, 2023
Project Slides

The “Part 1” is a talk presented by Timothy Bourke.

Lelio Brun
Lelio Brun
Postdoctoral research scientist in Computer Science

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