Bonjour,
Nous sommes à la recherche d’un candidat pour une thèse en IA sur le thème :
Logique et émotions : prendre en compte l’humain dans la vérification de système
https://perso.limsi.fr/sabouret/These-Taha-Sabouret-Boulanger-2019.pdf
Dans cette thèse, nous nous intéressons à l’utilisation de ce modèle de raisonnement issu de l’Intelligence Artificielle dans le contexte de la modélisation et de vérification automatique de systèmes.
Nous avons déjà le financement : il ne manque plus qu’un doctorant motivé !
/Merci de diffuser à vos étudiants !/
Cordialement,
—
Nicolas Sabouret, Professeur
LIMSI-CNRS, Bat 507, rue du Belvedère, 91405 Orsay Cedex
CentraleSupelec, 91192 Gif sur Yvette Cedex
https://perso.limsi.fr/sabouret/