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!
PhD in Computer Science, 2018-2021
Université Paris-Saclay
« Diplôme d'ingénieur » (MEng french equivalent), 2014-2018
ENSTA Paris
« Classes préparatoires », 2012-2014
Lycée Massena, Nice