Julien Girard-Satabin
CEA List, France
formal methods
deep learning
simulators
formal specification
perceptual inputs
1
presentations
4
number of views
SHORT BIO
I am a PhD student working on software safety applied to artificial intelligence. 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.
OTHER AFFILIATIONS
INRIA, TAU, France
Presentations
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Julien Girard-Satabin