Joao Marques-Silva désigné EurAI Fellow

Félicitations à Joao Marques-Silva du département IA – équipe ADRIA, désigné EurAI Fellow et qui rejoint donc la communauté des membres de l’EurAI. Le programme des EurAI Fellows reconnaît la qualité de la recherche et l’impact international de ses membres. Les Fellows sont des acteurs importants pour façonner l’IA en Europe. 

Joao Marques-Silva est directeur de recherche à l’IRIT – CNRS. Il est titulaire de la chaire de recherche de l’Institut Interdisciplinaire d’Intelligence Artificielle ANITI sur l’explication et la vérification des apprenants profonds (DeepLEVER). Joao Marques-Silva est un chercheur exceptionnel dont les travaux sur la démonstration automatisée de théorèmes sont largement cités. Il est récipiendaire du prix Computer Aided Verification (CAV) 2009. Les travaux les plus récents de Joao Marques Silva se concentrent sur un sujet d’une importance fondamentale pour l’apprentissage automatique – l’utilisation de la démonstration de théorèmes pour expliquer le résultat des algorithmes d’apprentissage automatique.

Il donnera un séminaire le mercredi 4 octobre 2023 à 14h00 à l’auditorium J. Herbrand de l’IRIT, intitulé “A Glimpse of Formal Explainable AI and Refutation of Some XAI Myths“.
Entrée libre et gratuite dans la limite des places disponibles.