Théo MATRICON - Admis au titre de docteur

Doctorat Informatique

Thèse soutenue le 10 décembre 2024 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Techniques agnostiques au domaine pour l’accélération de la synthèse de programmes

Mots-clés de la thèse : synthèse de programmes,énumération,délai constant,recherche par coût,

Direction de thèse : Nathanaël FIJALKOW

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Méthodes et Modèles formels

Ingénieur - Parcours Ingénieur Docteur, la mention sera ajoutée en septembre

obtenu en septembre 2021 - Bordeaux INP - ENSEIRB-Matméca
Option : Intelligence Artificelle
Langues Vivantes : Anglais C2 - Courant - Français C2 - Maternel

Dernière mise à jour le 14 octobre 2024