Short bio

I am a Ph.D. student at ISAE-SUPAERO and ONERA Toulouse, working with Prof. Xavier Thirioux, Julien Brunel, Christophe Garion and Jean-Baptiste Chaudron.

Before that, I got my bachelor’s and master’s degrees in computer science from Toulouse INP ENSEEIHT engineering school. I also got a master dregree in embeded system and IoT from INSA Toulouse engineering school.

My research interest lies in the intersections between:

Formal Method usage and verification.
Binary Decision Diagram.
Machine learning for embeded system.