Génération de code certifié pour Lustre

Lélio Brun

Postdoctoral research scientist in Computer Science

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