I am a research engineer at CEA LIST working on software safety applied to artificial intelligence. I completed my PhD thesis in november 2021, under the supervision of Guillaume Charpiat, Zakaria Chihani and Marc Schoenauer.

My research interests include abstract interpretation and symbolic propagation, SAT/SMT solving applied to deep neural networks. I am also interested in the formulation and formalization of specifications for programs using audio and visual inputs. I am involved in several projects involving industrial partners on the topic of safe AI.

You may download my CV here.

Open positions on Trustworthy AI (interns, PhD, fixed-term contracts) at CEA LIST. Send me a message for more infos!