Sémantique Mécanisée, Compilation Vérifiée et Compilation Certifiante pour Lustre
Last updated on
Apr 13, 2023
Postdoctoral research scientist in Computer Science
My research interests include synchronous languages, functional programming and verified compilation.