Researcher on Trustworthy Artificial Intelligence


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!


  • Software Safety
  • Formal Verification Methods
  • Satisfaction Modulo Theory
  • Artificial Intelligence
  • Deep learning
  • Dataset intelligence


  • 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