Soutenance de thèse de Dimitri ANTAKLY (équipes DUKe / AeLoS)
Soutenance de thèse de Dimitri ANTAKLY (équipes DUKe / AeLoS)
Dimitri Antakly, doctorant au sein des équipes DUKe et AeLoS, soutiendra sa thèse intitulée "Apprentissage et Vérification Statistique pour la Sécurité" / "Machine Learning and Statistical Verification for Security" jeudi 2 juillet 2020 à 10h, sur le site de la FST au bâtiment 34 et en visio. Jury : - Directeur thèse : Leray Philippe - Co-encadrant : Delahaye Benoit - Rapporteurs : Schiex Thomas (INRAE Toulouse), Tabia Karim (Université…