Bio

Titulaire d'un magistère de mathématiques et d'un DEA en informatique de l'université de Rennes 1, j'ai obtenu un doctorat en informatique de la même université en 1997 sous la direction de Marie-Odile Cordier.

Depuis 1998, je suis maître de conférences à l'INSA de Rennes (département informatique) et j'effectue mes recherches au sein de l'IRISA (UMR 6074). Je suis membre de l'équipe DREAM (commune avec le centre Inria Rennes-Breatgne Atlantique).

Recherche

Ma thématique de recherche est la surveillance et le diagnostic de systèmes complexes en utilisant des techniques issues de l’intelligence artificielle. Les deux thèmes sur lesquels je travaille actuellement sont :

Co-encadrement de thèses

  • Emmanuel Mayer, avec M.-O. Cordier, soutenue en 1999
  • Yannick Pencolé, avec M.-O. Cordier, soutenue en 2002
  • Xavier Le Guilloux, avec M.-O. Cordier et S. Robin, soutenue en 2008

Participation à des projets

  • MANAGEYOURSELF collaboration avec une PME : Telelogos (2009–2014)
  • DIABOLO projet interne en collaboration avec Roberto Micalizio (20
  • WS-DIAMOND projet européen STREP (2005–2008)
  • MAGDA projet RNRT (1998–2001)
  • ALARME contrat EDF (1997–1998)
  • GASPAR convention CTI avec le CNET, le LIPN, le LAAS (1993-1998)

Publications

La liste complète peut être trouvée ici triée par catégorie et aussi sur scholar google.

Enseignements

Responsabilités pédagogiques

  • Responsable de la troisième année du département informatique de l'INSA de Rennes depuis 2004
  • Responsable du module langage machine orienté compilation depuis 2009
  • Responsable du module projet compilateur depuis 2009
  • Responsable du module IA et diagnostic en 5ème année INSA, de 2004 à 2008
  • Responsable du module INFO2, première année (270 étudiants), de 2005 à 2007
  • Responsable du C2I (pour la première et deuxième année, environ 500 étudiants) sur l'INSA de Rennes en 2012-2013

Enseignements actuels

  • L1 : intiation à l'algorithmique (java)
  • L2 : sensibilisation (grammaire, langage, compilation)
  • L2 : pré-spécialisation (progammation java avancée)
  • L3 : langage machine orienté compilation
  • L3 : projet compilateur
  • L3 : soutien mathématiques
  • L3 : étude pratique : webdocumentaire pour le 70eme anniversaire de la libération de Rennes
  • M1 : prolog

Charges collectives pour l'INSA de Rennes

  • Responsable de la troisième année du département informatique de l'INSA de Rennes depuis 2004
  • Membre du conseil de département de 2000 à 2004 et de 2008 à maintenant
  • Membre des différents conseils élargis organisés par le département
  • Responsable communication du département informatique depuis 2011
  • Responsable des journées portes ouvertes pour le département à partir de 2011.
  • Responsable du recrutement extérieur en troisième année informatique depuis 2009
  • Membre suppléant du comité technique paritaire (CTP) de 2009 à 2012
  • Membre du bureau du département informatique de 2008 à 2011
  • Membre du Comité d'Harmonisation et d'Ingénierie Pédagogique (CHIP) depuis 2008
  • Membre du CP (Comité de Programme pour le passage au LMD) (2004-2005)
  • Membre du bureau des CSE de 2004 à 2008
  • Membre de comités de sélection ou commissions de spécialistes pour des postes de maître de conférences.
  • Réalisation du livret de présentation du département Informatique.