){kind=avatar}
Biography
I am a postdoctoral research engineer in the Parkas team of the Computer Science department (DI) at École normale supérieure in Paris. 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 the verified compilation of Lustre, a synchronous language, through the proof assistant Coq.
Interests
- Functional programming
- Synchronous languages
- Proof assistants
Education
-
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
ISAE-ENSMA