1. Rapporteur de la thèse de Doctorat de l’Université de Toulouse de Mohamed Esseghir Lalami, soutenue le 05/10/2012.
   • Titre : Contribution à la résolution de problèmes d'optimisation combinatoire : méthodes heuristiques et parallèles
   • Jury : M. Hifi, N. Melab (Rapp.), I. Kacem, B. Dahhou (Exam.), M. Sahraoui, D. El-Baz (Dir.)

1. Rudi Leroy (thèse débutée le 05/11/2012)
   • Titre : Méthodes exactes arborescentes parallèles sur clusters hétérogènes intégrant des processeurs multi-coeurs et des GPUs
   • Résumé : Cette thèse bénéficie d’un financement Inria dans le cadre de la Maison de la Simulation. Le sujet consiste à revisiter la conception et l'implémentation de méthodes d'optimisation combinatoire exacte arborescente de type Branch-and-X (X=Bound, Cut ou Price)sur clusters hétérogènes intégrant des processeurs multi-coeurs et des GPUs.

• Résumé : Cette thèse bénéficie d’un financement Inria dans le cadre de l'action d'envergure Hemera/Grid5000. Elle porte sur la conception et réalisation de méthodes d'optimisation exactes arborescentes complètement pair-à-pair. Il s'agit d'une extension des travaux de M. Djamai aux environnements dynamiques et virtualisés. L'approche proposée intègre des mécanismes de checkpointing pour faire face aux problèmes de pannes dans les grilles de calcul.

• Titre : Algorithmes Branch-and-Bound parallèles sur GPU et processeurs multi-coeurs

1. Examinateur de la thèse de Doctorat de l’Université de Paris Sud XI de Mouadh Yagoubi, soutenance le 03/07/2012.
   • Titre : Optimisation évolutionnaire multi-objectif parallèle : application à la combustion Diesel.
   • Jury : M. Masmoudi, F. Saubion (Rapp.), L. Duchamps Delageneste, L. Dumas(Exam.), M. Schoenauer, L. Thobois (Dir).
2. Examinateur de la thèse de Doctorat de l’Université Paul Sabatier de Imen Ketata, soutenue le 11/12/2012.

1. Président du jury de thèse de Doctorat de l’Université Paul Sabatier de Imen Ketata, soutenue le 11/12/2012.
   • Titre : Méthode de découverte de sources de données en environnement de grille de données tenant compte de la sémantique.
   • Jury : C. Ghedira-Guegan, S. Tata (Rapp.), K. Hamerlain (Exam.), F. Morvan, R. Mokadem (Dir).

1. Président du jury de thèse de Doctorat de l’Université Lille 1 de Pierre-Yves Aquilanti, soutenue le 14/12/2011.
   • Titre : Méthodes de Krylov réparties et massivement parallèles pour la résolution de problèmes de Géoscience sur machines hétérogènes dépassant le pétaflop
   • Jury : P. Manneback, F. Magoulès (Rapp.), N. Imad (Exam.), S. Petiton, G. Bergère (Dir.), H. Calandra (invité).

1. Francois Legillon (thèse débutée le 01/09/2011)
   • Titre : Méta-heuristiques pour l’arbitrage d’applications sur fédérations de clouds
   • Résumé : Cette thèse bénéficie d’un financement CIFRE et rentre dans le cadre d'un contrat avec l'entreprise Tasker - Cloud Services. Elle porte sur la conception et réalisation de méthodes d'optimisation multi-objectifs pour l'arbitrage statique et dynamique et l'allocation de ressources dans un environnement multi-cloud.
2. Trong Tuan Vu (thèse débutée le 01/10/2011)
   • Titre : Méthodes exactes pair-à-pair en environnement virtualisé volatile et à large échelle
   • Résumé : Cette thèse bénéficie d’un financement Inria. Elle porte sur la conception et réalisation de méthodes d'optimisation exactes arborescentes complètement pair-à-pair. Il s'agit d'une extension des travaux de M. Djamai aux environnements dynamiques et virtualisés. L'approche proposée intègre des mécanismes de checkpointing pour faire face aux problèmes de pannes dans les grilles de calcul.

• Résumé : Cette thèse est financée par une allocation de recherche MENRT. Elle fait suite à la thèse de Mohand Mezmaz et porte sur les méthodes exactes arborescentes pair-à-pair. L'objectif de l'approche est d'étendre la scalabilité de l'approche proposée dans la thèse de M. Mezmaz. Il s'agit de repenser dans un contexte pair-à-pair les techniques de distribution adaptative de travail, de partage de l'information globale et de détection de la terminaison.

1. Mathieu Djamai (thèse débutée en 10/2009)

1. Ahcène Bendjoudi (thèse soutenue le 07/06/2012)
   • Titre : Algorithmes B&B hiérarchiques à large échelle et tolérants aux pannes sur grilles de calcul
   • Résumé : Cette thèse est financée par le CERIST (Algérie) en collaboration avec l'Université de Béjaïa. La contribution de cette thèse est la proposition d'une approche de conception et réalisation de méthodes d'optimisation exactes arborescentes sur grilles de calcul. Cette approche adaptative hiérarchique intègre des mécanismes d'équilibrage de charge, de tolérance aux pannes et de passage à l'échelle (hiérachie à plusieurs niveaux et polymorphisme de processus worker/master/super-master). Cette approche a été validée sur le problème du Flow-Shop avec des expérimentations dimensionnantes sur Grid'5000.

1. Malika Mehdi (thèse soutenue le 20/10/2011)
   • Titre : Méthodes d’optimisation parallèles hybrides pour les problèmes de permutation
   • Résumé : Cette thèse, réalisée en co-tutelle avec l'Univ. de Luxembourg (P. Bouvry) s’inscrit dans le cadre du projet ANR CHOC. Elle porte sur la mise en place d'un cadre de coopération entre méthodes exactes et métheuristiques pour la résolution sur grilles de calcul d'instances de grande taille du problème Q3AP.

• Titre : Méta-heuristiques multi-objectifs pour l’ordonnancement d’applications sur clouds

• Résumé : Cette thèse bénéficie d’une allocation Président de l’Université Lille 1. Le défi de cette thèse est de revisiter les algorithmes d’optimisation exacte arborescente de type B&X sur GPU. L’idée est complètement originale.

1. Thé van Luong (thèse soutenue le 01/12/2011)

1. Malika Mehdi (thèse soutenue le 20/10/2011)
   • Titre : Méthodes d’optimisation parallèles hybrides pour les problèmes de permutation

1. Yacine Kessaci (thèse débutée en 09/2010)
   • Titre : Méta-heuristiques multi-objectifs parallèles pour l’optimisation de la gestion de ressources dans le contexte de clouds
   • Résumé : Cette thèse bénéficie d’une bourse de coopération Franco-Algérienne. Elle porte sur la conception et réalisation de méta-heuristiques multi-objectifs basées sur une approche Pareto pour la gestion optimisée des ressources dans les infrastructures informatiques en nuages (clouds). Le défi est de prendre en compte, en plus des critères classiques de qualité de service, les critères économiques et environnementaux. Elle fait l’objet d’une collaboration avec l’Université de Sydney et l’Université de Mons.
2. Imen Chakroun (thèse débutée en 10/2010)
   • Titre : Méthodes exactes arborescentes parallèles sur architectures hybrides combinant GPU et multi-coeur
   • Résumé : Cette thèse bénéficie d’une allocation Président de l’Université de Lille1. Le défi de cette thèse est de revisiter les algorithmes d’optimisation exacte arborescente de type B&X sur GPU. L’idée est complètement originale.

1. Lakhdar Loukil (thèse soutenue le 13/12/2010)
   • Titre : Méta-heuristiques hybrides parallèles pour le Q3AP sur environnements à grande échelle
   • Résumé : Cette thèse rentre dans le cadre d’une collaboration avec l’Université d’Oran, Algérie. Il s’est agi de revisiter les modèles parallèles et les mécanismes d’hybridation des méta-heuristiques sur grilles de calcul et sur des architectures many-cores telles que les GPUs.

1. Président du jury de thèse de Doctorat de l’Université Lille 1 de Maxime Hugues, soutenue le 13/05/2011.
   • Titre : Un paradigme de programmation multi-niveaux pour le calcul numérique sur les machines post-petascales et exascales
   • Jury : M. Sato, M. Daydé (Rapp.), P. Arbenz, H. Calandra (Exam.), J-P. Mascomère (Invité), S. Petiton (Dir).

1. Président du jury de thèse de Doctorat de l’Université Lille 1 de Christophe Guébert, soutenue le 01/07/2010.
   • Titre : Suture en chirurgie virtuelle : simulation interactive et modèles hétérogènes.
   • Jury : G. Dumont, E. Promayon (Rapp.), Y. Remion (Exam.), C. Duriez, L. Grisoni (Dir.), C. Forest, S. Cotin (invités).
2. Président du jury de thèse de Doctorat de l’Université du Littoral – Côte d’Opale de Mohamed Oussama Hassan, soutenue le 15/12/2009.

• Jury : J-P. Bahsoun, C. Gaudart (Rapp.), N. Belkhatir (Exam.), H. Basson, L. Deruelle (Dir.)

1. Examinateur de la thèse de Doctorat de l’Université Lille1 de Ye Zhang, soutenue le 04 /12/2009.

1. Président du jury de thèse de Doctorat de l’Université du Littoral – Côte d’Opale de Mohamed Oussama Hassan, soutenue le 15/12/2009.
   • Titre : Contribution à l’analyse d’impact des modifications des architectures logicielles
   • Jury : J-P. Bahsoun, C. Gaudart (Rapp.), N. Belkhatir (Exam.), H. Basson & L. Deruelle (Dir.)
2. Rapporteur de la thèse de Doctorat de l’Université Paul Sabatier, Toulouse de Mahmoud El Samad, soutenue le 14/12/2009.
   • Titre : Contribution à l’analyse d’impact des modifications des architectures logicielles
   • Jury : D. Benslimane, N. Melab (Rapp.), F. Morvan, F. Toumani (Exam.), A. Hameurlain (Dir.)

1. Examinateur de la thèse de Doctorat de l’Université Lille1 de Ye Zhang, soutenue le 04 /12/2009.
   • Titre : Méthodes itératives hybrides asynchrones sur plateformes de calcul hétérogènes pour la résolution accélérée de grands systèmes linéaires
   • Jury : P. Manneback, J-J. Lamotte (Rapp.), M. Bayart, G. Bergère, N. Emad, F. Magoulès (Exam.), S. Petiton (Dir).

1. Président du jury de thèse de Doctorat de l’Université de Lille1 de Calin Glitia, soutenue le 23/11/2009.
   • Titre : Optimisation des applications de traitement systématique intensives sur system-on-chip.
   • Jury : F. Irigoin, P. Quinton (Rapp.), M. Barreteau, S-B. Scholz (Exam.), P. Boulet (Dir.)

1. Président du jury de thèse de Doctorat de l’Université de Lille1 de Arnaud Fontaine, soutenue le 30/03/2009.
   • Titre : Classification d’ARN codants et non codants.
   • Jury : T. Schiex, C. Thermes (Rapp.), F. Leclerc, F. Tahi (Exam.), H. Touzet (Dir.)

1. Membre du comité d’encadrement de la thèse de Stefan Beauport, Université de Mons-Hainaut, Belgique (2007-2009).

• Jury : N. Abdennadher et C. Perez (Rapp.), L. Philippe (Exam.), R. Couturier, D. Laiymani (Dir.)

• Titre : Méthodes exactes arborescentes pair-à-pair sur grilles de calcul
• Résumé : Cette thèse est financée par une allocation de recherche MENRT. Elle fait suite à la thèse de Mohand Mezmaz et porte sur les méthodes exactes arborescentes pair-à-pair. L'objectif de l'approche est d'étendre la scalabilité de l'approche proposée dans la thèse de M. Mezmaz. Il s'agit de repenser dans un contexte pair-à-pair les techniques de distribution adaptative de travail, de partage de l'information globale, de détection de la terminaison, et de checkpointing.

• Titre : Méthodes exactes arborescentes pair-à-pair sur grilles de calcul
• Résumé : Cette thèse est financée par une allocation de recherche MENRT. Elle fait suite à la thèse de Mohand Mezmaz et porte sur les méthodes exactes arborescentes pair-à-pair. L'objectif de l'approche est d'étendre la scalabilité de l'approche proposée dans la thèse de M. Mezmaz. Il s'agit de repenser dans un contexte pair-à-pair les techniques de distribution adaptative de travail, de partage de l'information globale, de détection de la terminaison, et de checkpointing.

1. Alexandru Tantar (thèse soutenue le 04/06/2009)

1. Mohand Mezmaz (thèse soutenue le 27/11/2007)

1. Sébastien Cahon (thèse soutenue le 01/07/2005)

1. Laurent Deruelle (thèse soutenue en 12/2001, ULCO)

1. Mathieu Djamai (thèse débutée en 09/2009)

1. Thé van Luong (thèse débutée en 11/2008)

1. Malika Mehdi (thèse débutée en 09/2007)

1. Examinateur de la thèse de Doctorat de l’Université de Franche-Comté de Jean-Claude Charr, soutenue le 16/09/2009.

1. Président du jury de thèse de Doctorat de l’INSA de Lyon de Pascal Wehrle, soutenue le 5/1/2009.

1. Examinateur de la thèse de Doctorat de l’INSA de Lyon de Julien Gossa, soutenue le 3/12/2007.

1. Membre de jury (examinateur) de la thèse de Doctorat de l’Université de Franche-Comté de Jean-Claude Charr, soutenue le 16/09/2009.

1. Président du jury de thèse de Doctorat de l’Université de Lille1 de Arnaud Fontaine, soutenue le 30/03/2009.

1. Membre de jury (examinateur) de la thèse de Doctorat de l’INSA de Lyon de Pascal Wehrle, soutenue le 5/1/2009.

1. Membre de jury (examinateur) de la thèse de Doctorat de l’INSA de Lyon de Julien Gossa, soutenue le 3/12/2007.

1. Président du jury de thèse de Doctorat de l’USTL de Romain Rouvoy, soutenue le 8/12/2006.

1. Membre du comité d’encadrement de la thèse de Stefan Beauport, Université de Mons-Hainaut, Belgique (depuis 2007).

Encadrements de doctorants

Jurys de thèse

1. Membre de jury (examinateur) de la thèse de Doctorat de l’Université de Franche-Comté de Jean-Claude Charr, soutenue le 16/09/2009.
   • Titre : Calcul parallèle et distribué sur architectures pair à pair
   • Jury : N. Abdennadher et C. Perez (Rapp.), ?? (Exam.), R. Couturier, D. Laiymani (Dir.)
2. Président du jury de thèse de Doctorat de l’Université de Lille1 de Arnaud Fontaine, soutenue le 30/03/2009.
   • Titre : Classification d’ARN codants et non codants.
   • Jury : T. Schiex, C. Thermes (Rapp.), F. Leclerc, F. Tahi (Exam.), H. Touzet (Dir.)
3. Membre de jury (examinateur) de la thèse de Doctorat de l’INSA de Lyon de Pascal Wehrle, soutenue le 5/1/2009.
   • Titre : Modèle multidimensionnel et OLAP sur architecture de grille.
   • Jury : H. Kosch, F. Ravat (Rapp.), J. Darmont (Exam.), M. Miguel, A. Tchounikine (Dir.)
4. Membre de jury (examinateur) de la thèse de Doctorat de l’INSA de Lyon de Julien Gossa, soutenue le 3/12/2007.
   • Titre : Modèle et outils génériques pour la résolution des problèmes liés à la répartition des ressources sur grilles. Un petit pas vers la réconciliation des archi. orientées services avec leur infrastructure matérielle.
   • Jury : L. Brunie, J-M. Pierson (Dir.), M. Sibilla, F. Cappello (Rapp.), T. Ludwig (Exam.)
5. Président du jury de thèse de Doctorat de l’USTL de Romain Rouvoy, soutenue le 8/12/2006.
   • Titre : Une démarche à granularité extrêmement fine pour la construction de canevas intergiciels hautement adaptables : application aux services de transactions.
   • Jury : J-M. Jézéquel, J-B. Stephani (Rapp.), T. Ledoux, B. Traverson (Exam.), J-M. Geib, P. Merle (Dir.).
6. Membre du comité d’encadrement de la thèse de Stefan Beauport, Université de Mons-Hainaut, Belgique (depuis 2007).

• Encadrements de doctorants
• Mathieu Djamai (thèse débutée en 09/2009)
  • Titre : Méthodes exactes arborescentes pair-à-pair sur grilles de calcul
  • Résumé : Cette thèse est financée par une allocation de recherche MENRT. Elle fait suite à la thèse de Mohand Mezmaz et porte sur les méthodes exactes arborescentes pair-à-pair. L'objectif de l'approche est d'étendre la scalabilité de l'approche proposée dans la thèse de M. Mezmaz. Il s'agit de repenser dans un contexte pair-à-pair les techniques de distribution adaptative de travail, de partage de l'information globale, de détection de la terminaison, et de checkpointing.
• Thé van Luong (thèse débutée en 11/2008)
  • Titre : Métaheuristiques parallèles hybrides sur GPU
  • Résumé : Cette thèse bénéficie d’une allocation INRIA CORDIS. Elle rentre dans le cadre du projet PetaFlow labellisé par le pôle de compétitivité I-Trans de la région Nord-Pas-de-Calais. Il s'agit de re-visiter les modèles parallèles de métaheuristiques pour une exécution efficace sur GPU. Les résultats préliminaires montrent des gains de performance très importants par rapport à une exécution sur CPU.
• Malika Mehdi (thèse débutée en 09/2007)
  • Titre : Coopération parallèle sur grilles de calcul entre métaheuristiques et méthodes exactes pour le problème QA3P
  • Résumé : Cette thèse, réalisée en co-tutelle avec l'Univ. de Luxembourg (P. Bouvry) s’inscrit dans le cadre du projet ANR CHOC. Elle porte sur la mise en place d'un cadre de coopération entre méthodes exactes et métheuristiques pour la résolution sur grilles de calcul d'instances de grande taille du problème Q3AP.
• Alexandru Tantar (thèse soutenue le 04/06/2009)
  • Titre : Métaheuristiques parallèles coopératives pour le problème d’échantillonnage de protéines sur grilles de calcul
  • Résumé : Cette thèse a été financée par une allocation de recherche de type Président et réalisée dans le contexte du projet ANR DOCK. Elle a porté sur la conception et réalisation de métaheuristiques hybrides parallèles auto-adaptatives sur grilles de calcul pour la résolution de problèmes de docking moléculaire.
• Mohand Mezmaz (thèse soutenue le 27/11/2007)
  • Titre : Une approche efficace pour le passage sur grilles de calcul de méthodes d'optimisation combinatoire
  • Résumé : Cette thèse a été financée par une allocation de recherche MENRT. Elle a consisté à mettre en place d'une approche de passage sur grilles de méthodes exactes arborescentes de type Branch-and-Bound. Cette thèse a permis de résoudre pour la première fois de manière exacte une instance difficile (50 jobs sur 20 machines) du problème d'ordonnancement Flow-Shop. La grille utilisée est constituée de près de 2000 processeurs appartenant à Grid5000 et à l'Université de Lille1.
• Sébastien Cahon (thèse soutenue le 01/07/2005)
  • Titre : ParadisEO : une plate-forme pour la conception et le déploiement de métaheuristiques parallèles hybrides sur grappes et grilles de calcul
  • Résumé : Cette thèse (ainsi que son financement) rentre dans le cadre de l’ACI GRID DOC-G et d’un contrat avec France Telecom R&D. Cette thèse a permis la conception et réalisation de la plate-forme logicielle ParadisEO. Il s'agit d'une plate-forme d'aide à la conception flexible et réutilisable de métaheuristiques parallèles hybrides.
• Laurent Deruelle (thèse soutenue en 12/2001, ULCO)
  • Titre : Analyse d'impact de l'évolution des applications distribuées multi-langages et à bases de données hétérogènes
  • Résumé : Cette thèse a été financée par une allocation de recherche MENRT. Elle a consisté à mettre en place une plate-forme pour la gestion de l'évolution d'applications (éventuellement à bases de données) distribuées. Cette plate-forme intègre un système d'analyse a priori d'impact de changement de différents types de composants logiciels.