Accéder directement au contenu

Julien Girard-Satabin

4
Documents
Identifiants chercheurs

Présentation

I am a research engineer at CEA LIST, Saclay. My main research interests are in the broad sense trustworthy AI. I made my thesis on the topic of formal verification of deep neural networks, trying to ease formal verification using abstract interpretation, Satisfaction Modulo Theory and Linear Programming. I am currently working on developping techniques and tools to ease the verification of neural networks. I am also interested in the impact of machine learning on our societies, and I will be eager to work with people on this area.

Publications

guillaume-charpiat