Proving a Lustre Compiler Part 2
Last updated on
Apr 13, 2023
The “Part 1” is a talk presented by Timothy Bourke.
![Lelio Brun](https://s.gravatar.com/avatar/b3145cd483cf3a2f24284534c75f1503?s=200)
Postdoctoral research scientist in Computer Science
My research interests include synchronous languages, functional programming and verified compilation.