Ecole doctorale 475 Mathématiques, Informatique et Télécommunications de Toulouse

ACTUALITES
L'ÉCOLE DOCTORALE Présentation Contacts Prise de RV avec la direction Chiffres Membres des Conseil, Bureau, Commissions Unités d'accueil LA THÈSE Réunions d'information Propositions de sujets de thèse Candidature - Inscription Réinscription Comités de suivi Financements Mobilités étudiantes Sujets de thèse en cours Annuaire des doctorants Accès ADUM Formations Modalités Soutenance Modalités ED MITT Après soutenance Annuaire des docteurs DIVERS H.D.R Textes officiels Liens utiles Sites partenaires Offres d'emploi F.A.Q

Olivier LÉTOFFÉ - Thèse en cours

Doctorat Mathématiques et Applications

- Université Toulouse III - Paul Sabatier

Ecole doctorale : EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse

Sujet : Calculs et complexité algorithmique d'explications logiques et probabilistes de décisions d'intelligence artificielle.

Mots-clés de la thèse : Intelligence artificielle,Logique,Théorie des graphes,Complexité algorithmique,Assistant de preuves,

Direction de thèse : Nicholas ASHER

Co-direction de thèse : Joao MARQUES SILVA

Unité de recherche : IRIT : Institut de Recherche en Informatique de Toulouse UMR 5505 - Toulouse

Master - Mathématiques et Applications

obtenu en juillet 2022
Option : Research and Innovation
Langues Vivantes : Anglais B1 - Intermédiaire - Français C2 - Maternel

---

Dernière mise à jour le 19 septembre 2023