narendra jussien

professeur, équipe contraintes

école des mines de nantes - lina

responsabilités de groupe de recherche
formation doctorale
encadrement de jeunes chercheurs

responsabilités de groupe de recherche

depuis janvier 2008 chef du département informatique de l'École des Mines de Nantes
2004-2007 Responsable-adjoint de l'équipe Contraintes du LINA (Laboratoire d'informatique de Nantes-Atlantique) : laboratoire commun regroupant les compétences en informatique de l'Université de Nantes (Faculté des Sciences, École Polytechnique de l'Université et IUT) et de l'École des Mines de Nantes.
2003-2007 Co-porteur avec d'abord Philippe Baptiste et Pierre Lopez, puis Sophie Demassey et Fabien Le Huédé du groupe Contraintes et Recherche Opérationnelle du pôle Optimisation Combinatoire de l'action spécifique Recherche Opérationnelle du GDR ALP (devenu entre-temps GDR RO).
2003 Responsable du thème Contraintes Discrètes de l'équipe Bio-informatique, Contraintes et Combinatoire du LINA.
2001-2003 Responsable de l'équipe Contraintes du département Informatique de l'EMN.

formation doctorale

enseignement

Intervenant dans le DEA d'Informatique de l'Université de Nantes depuis l'année 2001/2002 - Option Programmation par Contraintes.

participation à des jurys de thèse ou d'habilitation

Rapporteur de thèse d'habilitation de Brahim Hnich le 11 janvier 2008 à l'Université de Montpellier II.
Examinateur lors de la soutenance d'habilitation de Christophe Lecoutre le 22 novembre 2007 à l'Université d'Artois.
Rapporteur de thèse de doctorat de Sébastien Tabary le 22 novembre 2007 à l'Université d'Artois.
Rapporteur de thèse de doctorat de Sébastien Sorlin le 24 novembre 2006 à l'Université de Lyon I.
Rapporteur de thèse de doctorat de Rémi Coletta le 7 juillet 2006 à l'Université de Montpellier II.
Examinateur lors de la soutenance de thèse de doctorat de Cyril Canon le 16 décembre 2005 à l'Université de Tours.
Examinateur lors de la soutenance de thèse de doctorat de Pierre-Emmanuel Hladik le 17 décembre 2004 à l'Université de Nantes.
Rapporteur de thèse de doctorat de Djamal Habet le 14 décembre 2004 à l'Université de Picardie.
Examinateur lors de la soutenance de thèse de doctorat de Ludovic Langevine le 6 décembre 2004 à l'Université de Rennes.
Examinateur lors de la soutenance d'habilitation de Christian Artigues le 3 décembre 2004 à l'Université d'Avignon.
Examinateur lors de la soutenance de thèse de doctorat d'Antoine Jouglet le 29 novembre 2002 à l'Université de Technologie de Compiègne.

encadrement de jeunes chercheurs

doctorants

depuis sept. 2007 Julien Menana, co-encadré par Sophie Demassey travaille sur les liens entre programmation par contraintes et automates. Cette thèse est financée par une bourse MENRT.
depuis sept. 2006 Arnaud Malapert, co-encadré par Christelle Guéret et en co-tutelle avec l'école polytechnique de Montréal (Louis-Martin Rousseau) travaille sur les méthodes hybrides RO/PPC pour la résolution de problèmes de tournées de véhicules. Cette thèse est financée par une bourse Mines.
depuis sept. 2005 Guillaume Richaud travaille sur la robustesse et la stabilité des méthodes de résolution pour les problèmes dynamiques de satisfaction de contraintes. Cette thèse est financée par une bourse BDI/CNRS.
. principales publications communes : [Richaud et al., 2006] | [Richaud et al., 2007]
de sept. 2004 à janvier 2008 Émilie Grellier, co-encadrée par Pierre Dejax, a travaillé sur les problématiques liées à la logistique dite inverse. Cette thèse a été financée par une bourse Mines.
. principales publications communes : [Benoist et al., 2006] | [Grellier et al., 2006] | [Grellier et al., 2006] | [Grellier et al., 2006] | [Grellier et al., 2007]
de sept. 2003 à décembre 2006 Hadrien Cambazard (site personnel) a travaillé sur les nouvelles techniques de recherche que l'utilisation d'explications au sein de la programmation par contraintes permet de mettre en oeuvre. Outre l'élaboration de nouveaux algorithmes, il étudie le périmètre d'efficacité de ce type de techniques. Cette thèse a été financée par une bourse Mines.
. principales publications communes : [Cambazard and Jussien, 2006] | [Cambazard and Jussien, 2005] | [Cambazard et al., 2005] | [Cambazard and Jussien, 2005] | [Cambazard et al., 2004]
de sept. 2002 à déc. 2005 Guillaume Rochart, co-encadré avec Éric Monfroy, a travaillé sur la pratique des explications dans les solveurs de contraintes. Cette thèse a été financée par une bourse MENRT.
. principales publications communes : [Benoist et al., 2006] | [Rochart and Jussien, 2004]
de fév. 2000 à nov. 2003 Abdallah Elkhyari, co-encadré avec Christelle Guéret, travaille sur les problèmes dynamiques d'ordonnancement et plus particulièrement sur l'intégration de mécanisme d'explications dans les contraintes de type cumulatif. Cette thèse est financée par une dotation du Sénat.
. principales publications communes : [Elkhyari et al., 2004] | [Elkhyari et al., 2003] | [Elkhyari et al., 2002]
de sept. 1999 à déc. 2003 Samir Ouis, co-encadré avec Patrice Boizumault, travaille sur des outils de mise au point pour la programmation par contraintes. Cette thèse est financée par une bourse Mines.
. principales publications communes : [Debruyne et al., 2003] | [Ouis et al., 2003]

stages de DEA

2005 Guillaume Richaud a travaillé sur les possibilités d'intégration de techniques de suppression de symétries dans les méthodes de recherche de solution rétro-prospectives pour les CSP.
2003 Hadrien Cambazard, co-encadré avec Étienne Gaudin (Bouygues SA), a travaillé sur les liens entre conception de réseaux et optimisation combinatoire à travers l'étude d'un problème de multi-flot mono-routé sous contraintes opérationnelles.
2002 Hayfa Zgaya, co-encadrée avec Rémi Douence, Hayfa a travaillé sur l'utilisation de la programmation par aspect pour fournir des améliorations non-intrusives de solveurs de contraintes.
2002 Guillaume Rochart, co-encadré avec Étienne Gaudin (Bouygues SA), a travaillé sur les chorégraphies de solveurs de contraintes.
2000 Vincent Barichard, co-encadré avec Romuald Debruyne, a travaillé sur la notion d'explication pour les consistances fortes. Ce stage à conduit à la première version de PaLM et à une publication dans un atelier international.
publication : [Jussien and Barichard, 2000]
1997 Dans le cadre d'une collaboration avec la CISI, David Fraszko, co-encadré avec Patrice Boizumault, a travaillé sur un démonstrateur de faisabilité pour un problème d'ordonnancement. Il s'agissait d'étudier la mise en oeuvre d'un système de résolution d'un problème distribué d'ordonnancement avec communication par l'intermédiaire d'explications. Ce stage a conduit à la première version de DECorum.

mémoires de maîtrise

2002 Hadrien Cambazard, Fabien Demazeau, Ahmat Faki, Étienne Joly, Philippe Mazet et Pierre Baladi, co-encadrés avec Philippe David, ont travaillé sur la réalisation d'un logiciel interactif d'aide à la conception d'emplois du temps pour l'EMN.
1997 Vincent Alexandre et Stéphane Durand, co-encadrés avec Patrice Boizumault et Jean-Daniel Fekete, ont travaillé sur la visualisation statique et dynamique de CSP binaires. Ce travail est précurseur de [Ghoniem et al., 2003].
1994 Béatrice Planchot et Claudine Riquin, co-encadrées avec Patrick Gillet (Institut d'Écologie Appliquée), ont travaillé à une extension de la base de connaissance d'un système expert de reconnaissance d'annélides polychètes.