Sémantique Mécanisée, Compilation Vérifiée et Compilation Certifiante pour Lustre May 20, 2021 Project Project Slides Video Lélio Brun Postdoctoral research scientist in Computer Science My research interests include synchronous languages, functional programming and verified compilation.