List of tutorials I gave or helped facilitate.


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

PFIA 2020

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

ForMaL 2019

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