Je travaille actuellement avec Cédric Bentz sur des problèmes de couverture partielle de chemins dans les graphes. Nous travaillons en particulier sur les problèmes de multicoupe partielle minimum et de bloqueurs de chemins disjoints, deux généralisation du problème classique de multicoupe minimum. Nous abordons ces problèmes de manière très différentes, allant de la résolution exacte par programmation mathématique, à la résolution exacte dans certaines classes par programmation dynamique, en passant par l'approximation.

Jusqu'à fin 2010, j'ai préparé avec Sandrine Blazy et Eric Soutif mon doctorat portant sur la vérification formelle d'algorithmes d'optimisation combinatoire à l'aide de l'assistant à la preuve Coq. Je me suis intéressé en particulier à l'optimisation et la vérification de l'allocation de registres, l'une des phases les plus complexes du processus de compilation, et au problème de théorie des graphes associé : le problème de coloration avec préférences. J'ai soutenu ma thèse le 30 Novembre 2010.
Manuscript     Slides