Giannos Stamoulis, qui a soutenu sa thèse en décembre 2023, vient d’être désigné lauréat du prix de thèse Graphes “Charles Delorme” pour sa thèse “Logic and Algorithms for Graph Minors”, encadré par Ignasi Sau et Dimitrios Thilikos dans l’équipe AlGCo.
Le prix de thèse Graphes “Charles Delorme” est un prix annuel créé en 2016 par la famille de Charles Delorme pour honorer sa mémoire et son travail, qui souhaite récompenser chaque année une excellente thèse en Graphes (théorie et algorithmique).
Le travail de la thèse de Giannos se situe dans l’intersection de la logique, l’algorithmique et la théorie de graphes. La thèse propose un cadre méta-algorithmique capitalisant sur les conséquences algorithmiques de “Graph Minors”, la série séminale des articles de Robertson et Seymour traitant les mineurs de graphes. Sa perspective principale consiste en la preuve de méta-théorèmes algorithmiques, qui fournissent des conditions mathématiques générales (logiques et combinatoires) permettant la dérivation automatique d”algorithmes efficaces. Les méta-théorèmes algorithmiques principaux démontrés dans cette thèse concernent des logiques entre la logique du premier ordre et la logique monadique du second ordre, comprenant de grandes familles de problèmes de routage et de modification de graphes.
Lire plus : https://gtgraphes.labri.fr/pmwiki/pmwiki.php/PrixTheseDelorme/PrixTheseDelorme
Contact : giannos.stamoulis@lirmm.fr
