Sémantique Mécanisée, Compilation Vérifiée et Compilation Certifiante pour Lustre

Lelio Brun
Lelio Brun
Postdoctoral research scientist in Computer Science

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