Sémantique Mécanisée, Compilation Vérifiée et Compilation Certifiante pour Lustre
Last updated on
Apr 13, 2023
![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.