Equipe GOC

 

Equipe (Graphes, Optimisation et Contraintes)

Responsable : Chu-Min Li (PR)

 

 

Rapport d'activité 2011 - 2014

Production scientifique

Permanents

  • Gilles DEQUEN (PR)
  • Laure DEVENDEVILLE (MCF)
  • Frédéric FÜRST (MCF)
  • Vassilis GIAKOUMAKIS (PR)
  • Jean-Luc GUERIN (MCF)
  • Sorina IONICA (MCF)
  • Gilles KASSEL (PR)
  • Chu-Min LI (PR)
  • Yu LI (MCF)
  • Corinne LUCET (MCF)
  • Céline QUÉNU-JOIRON (MCF)
  • Maryline ROSSELLE (MCF)
  • Inès SAAD (EC)

ATER

  • Sarra BOUZAYANE (thèse en cotutelle ; encadrants : Gilles Kassel (30%) & Inès Saad (70 %)), 

Doctorants

  • Romuald CARETTE (CIFFRE encadré par Jean-Luc Guerin et Gilles Dequen)
  • Simon CAILLARD (encadré par Laure Brisoux)
  • Richardson CIGUENE (encadré par Gilles Dequen et Céline Joiron)
  • Bogdan DINA (encadré par Sorina Ionica et Uwe Schöning, en co-tutelle)
  • Zhiwen FANG (Encadré par Chu-Min Li)
  • Sahar GHRAB (thèse en cotutelle, Encadrants : Gilles Kassel & Inès Saad)
  • Clémence MAUGER (encadrée par Gilles Dequen et Gaël Le Mahec )
  • Zhe QUAN – encadré par C. LI
  • Anass SBAI (Encadré par Gilles Dequen), 
  • Monika TRIMOSKA (encadrants : Sorina Ionica, Gilles Dequen)
  • Fabien VITON (encadré par Jean-Luc Guerin et Gilles Dequen)
  • Chaoyang ZHOU – encadré par C. LI et Ruchu WU ; inscrit à l’Université des Sciences et Technologies de Huazhong, Chine, Zhu ZHU – encadrée par C. LI

Anciens Doctorants

  • Florian LEGENDRE – co-encadré par G. DEQUEN (50%) et M. KRAJECKI (CReSTIC, URCA) (50%) ; inscrit à l’URCA, Reims,
  • Clément LECAT (Encadré par Chu-Min Li et Corinne Lucet)
  • Kaoutar SGHIOUER - encadrée par A. MOUKRIM (UTC) et Y. LI ; inscrite à l’UTC, Compiègne,
  • Anas Abdoul SOUKOUR – encadré par L. DEVENDEVILLE, C. LUCET et A. MOUKRIM (Heudiasyc, UTC) (50%)
  • Dominique THILAUT (encadrants : Gilles Kassel (33 %), Inès Saad (33%) & Eddie Soulier (30%)), 

Associés (membres contribuants)

  • Pascal VANDER-SWALMEN (Dr).

Mots clés

Méthodes optimales/exactes/complètes, méthodes heuristiques/incomplètes, recherche locale et métaheuristiques, programmation linéaire en nombres entiers, décomposition des graphes, algorithmique et optimisations sur les graphes, contraintes, cryptanalyse, programmation par contraintes, satisfiabilité, parallélisme.

Domaine de Recherche

  • Modélisation. Nous modélisons les problèmes et les informations sous forme de graphes ou de contraintes. Information. Nous distinguons les informations implicites et explicites. Les informations explicites sont exprimées sous forme de graphes ou contraintes. Des informations implicites, qui sont des solutions (ou solutions partielles) du problème à résoudre, doivent pouvoir être efficacement déduites à partir de graphes ou de contraintes.
  • Systèmes. Nous développons des systèmes d'aide à la décision en utilisant différentes méthodes, complétes ou incomplètes, exactes ou approchées, ou des méthodes hybrides pour trouver des solutions aux problèmes. La mise en oeuvre des algorithmes proposés se fait aussi bien dans un cadre séquentiel que parallèle.

Actus GOC

Soutenances
Animation Scientifique

Richardson CIGUENE soutiendra sa thèse de doctorat le jeudi 14 novembre 2019 à 14h30, dans la Salle des thèses de l'École Doctorale Sciences, Technologies, Santé (UPJV Amiens)

Soutenances
Animation Scientifique

Corrinne Vasseur soutiendra sa thèse d'Habilitation à Diriger des Recherches intitulée le vendredi 11 octobre à 10h dans la salle 409, EPI 1, au Centre de Recherche et de Transfert Technologique, 14 quai de la somme, à Amiens

Soutenances
Animation Scientifique

Inès SAAD soutiendra sa thèse d'Habilitation à Diriger des Recherches le mardi 9 juillet à 10h dans la salle des thèses de l’École Doctorale Sciences, Technologie et Santé de l’UPJV, Pôle Scientifique, au 33 rue St Leu, 80039 Amiens.
 

Stage

Étude Exploratoire pour la Caractérisation des Raisonnements des Étudiants dans la Résolution de Problèmes en Mathématique et en Informatique.

Séminaires de laboratoire
Animation Scientifique

Jean-Luc Deléage, enseignant-chercheur à l'INSSET, viendra donner un séminaire le jeudi 24 mai 14h en salle 307, sur l'ingénierie dirigée par les modèles.

Ete est une bibliothèque MDE (Model Driven Engineering). Cette bibliothèque s’appuie sur des standards éprouvés et est très flexible.
La génération de code a l’ambition de générer beaucoup plus que de simples squelettes en s’appuyant sur les contraintes exprimées sur les modèles.