I am a postdoctoral research scientist in the IpSC team of the Department of Complex Systems Engineering at ISAE-SUPAERO in Toulouse. I recently defended my thesis, Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset, written under the supervision of Marc Pouzet and Timothy Bourke.
I currently work on translation validation techniques applied to the compilation of Lustre, a synchronous language.
PhD in Computer Science, 2020
École normale supérieure - PSL Research University
MSc in Computer Science (MPRI), 2016
Université de Paris
MSc in Aerospace Engineering, 2013