Projets de recherche Charges collectives Jurys de thèse Comités Divers

Responsabilité et participation à des projets de recherche

Depuis avril 2017, je suis membre du projet ANR DEMOGRAPH (Décomposition de Modèles Graphiques). Ce projet regroupe 3 laboratoires nationaux qui sont : MIA (Unité de Mathématiques et Informatique Appliquées de Toulouse), LIRMM (Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier) et LIS (Laboratoire d'Informatique et Systèmes).

Du 01 janvier 2009 au 31 mars 2012, j’étais le responsable scientifique et le coordinateur local pour le LSIS du projet “Algorithmes incomplets pour la réfutation" (acronyme UNLOC), Programme non-thématique (action blanche) de l’ANR. Ce projet regroupait 4 laboratoires nationaux : LRI (Laboratoire de Recherche en Informatique, Orsay. M. Laurent Simon était le coordinateur), CRIL (Centre de Recherche en Informatique de Lens, Lens), MIS (Laboratoire Modélisation, Information et Systèmes, Amiens) et LSIS - Aix-Marseille.

En 2012, j’ai participé à la soumission d’un projet ANR non-thématique, comme coordinateur local (intitulé du projet : "Le problème de satisfiabilité minimum et son application à l’optimisation combinatoire" – Min-SAT). Le projet a été classé en liste complémentaire.

Charges collectives

  • Depuis juin 2018 : Membre élu du conseil d'administration de l'AFPC (Association Française pour la Programmation par Contraintes)
  • Depuis octobre 2016 : Membre élu du département Informatique et Interactions de la faculté des sciences d'Aix-Marseille Université
  • Depuis septembre 2012 : Responsable pédagogique du Master Informatique, spécialité Génie logiciel d’Aix-Marseille Université
  • Depuis 2014 : Membre de la commissiona adhoc de la sélection d’ATER (Attaché temporaire d’enseignement et de recherche) du département d’informatique et interactions, faculté des Sciences, Aix-Marseille Université
  • 2008 – 2011 : Membre élu du conseil de département Mathématiques Informatique et Systèmes (MIS), de la faculté des sciences et techniques de Saint-Jérôme, de l'Université d'Aix-Marseille
  • 2006–2012 : Responsable pédagogique du Master Professionnel Sciencesde l’Information et des Systèmes (SIS), spécialité Informatique, parcours Génie logiciel

Membre de jurys de thèse

  • Examinateur de la thèse de doctorat de M. Zhe Quan soutenue le 02 juillet 2012 à l’université de Picardie Jules Verne (Amiens)
  • Examinateur de la thèse de doctorat de Mme Zhu Zhu soutenue le 15 novembre 2013 à l’université de Picardie Jules Verne (Amiens)

Comités

Comités de programme

  • Membre du comité de programme AAAI Conference on Artificial Intelligence - AAAI 2018.
  • Membre du comité de programme International Joint Conference on Artificial Intelligence - IJCAI 2015, 2017 et 2018.
  • Membre du comité de programme International Conference on Theory and Applications of Satisfiability Testing - SAT 2016.
  • Membre du comité de programme du congrès ROADEF de la société Française de Recherche Opérationnelle et Aide à la Décision - ROADEF 2015.
  • Membre des comités de programme des Journées Francophones de Programmation par Contraintes : JFPC 2006, 2013, 2014, 2016, 2017 et 2018.

Comités d'organisation

Relecteur

  • International Journal on Artificial Intelligence Tools, IJAIT (2018).
  • Journal on Satisfiability, Boolean Modeling and Computation, JSAT (2016).
  • Artificial Intelligence, AI (2015, 2016 et 2018).
  • Conference on Artificial Intelligence, AAAI (2014 et 2016).
  • International Conference on Theory and Applications of Satisfiability Testing, SAT (2009, 2010, 2011 et 2014).
  • International Joint Conferences on Artificial Intelligence, IJCAI (2003, 2009).
  • Journées Francophones de Programmation par Contraintes, JFPC (2005, 2006, 2008 et 2009).
  • Journal of Mathematical Modelling and Algorithms, JMMA (2006).
  • Genetic and Evolutionary Computation COnference, GECCO (2005).
  • Ouvrage post conférence de MIC’2003 (2004).
  • Journal of Heuristics (2003).
  • Les Journées Nationales sur la résolution Pratique de Problèmes NP-Complets, JNPC (2003).
  • Le congrès de la société Française de Recherche Opérationnelle et d’Aide à la Décision, ROADEF (2003).

Divers

  • Membre des comités de sélection pour les postes de maître de conférences en Informatique 0796 (2011) et MCF 27 0358 (2008) à la faculté des sciences, ancienne Université Paul Cézanne (actuellement Aix-Marseille Université).
  • Membre du jury de the Second International Competition of CSP and Max-CSP Solvers en 2006
  • Participation à des jurys de soutenance en Master Recherche en 2006, 2007, 2011 et 2016