Frailties of AI - Paris Saclay AI Master

This is the material for a course I gave at the Université Paris-Saclay AI master course for Fairness in Artificial Intelligence. Altough the course was online, interactions between students, professors and me were really interesting and sparked new questions, especially on the question of dataset quality assessment.

Theory and Practice of Formal Verification of Machine Learning

Since 2020, I regularly teach formal verification of machine learning programs to students of the SETI master.