I am a postdoctoral research scientist in the ZT-IoT project at National Institute of Informatics in Tokyo.
I defended my thesis in 2020, Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset , written under the supervision of Marc Pouzet and Timothy Bourke. The thesis was awarded an accessit prize from the GDR GPL French research group.
I currently work on applying formal methods to ensure security of Internet of Things (IoT) systems.
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