Tutorials

List of tutorials I gave or helped facilitate.

IDESSAI 2021

Formal verification of deep neural networks: theory and practice; a tutorial I gave during the joint INRIA-DFKI 2021 summer school.

Theory and practice of deep learning verification; a tutorial I gave during the PFIA 2020 conference

Some tutorial materials I gave with my advisor Guillaume Charpiat during DigiCOSME Spring school ForMaL