I am a PhD candidate in the Parkas team of the Computer Science department (DI) at École normale supérieure in Paris 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.
MSc in Computer Science (MPRI), 2016
Université Paris Diderot - Paris 7
MSc in Aerospace Engineering, 2013
A prototype compiler for Lustre, verified in Coq.
A tool to pretty-print (e.g., $\LaTeX$) Menhir grammars.
I have been a teaching assistant for the following courses: