Présentation

Je suis doctorant au sein du Centre de Recherche en Informatique de Lens (CRIL, CNRS UMR 8188) depuis octobre 2012, qui est un laboratoire de l'Université d'Artois. Mon thème de recherche est "Traitement des informations imparfaites, dynamiques, contextuelles et multi-sources".
Mon sujet de thèse est "Compilation de connaissances : des formules logiques aux réseaux bayésiens". Je suis encadré par Pierre Marquis (Professeur).

Curriculum Vitæ

Diplômes et études :

Depuis 2012 : Doctorant en Informatique
2012 : Master Informatique - Systèmes Intelligents et Applications, Université d'Artois, Lens, France
2010 : Licence Mathématiques-Informatique, Mention Informatique, Université d'Artois, Lens, France
2009 : DUT Informatique à l'IUT de Lens
2008 : Certificat Informatique et Internet, Niveau 1, Université d'Artois, Lens, France
2007 : Baccalauréat scientifique au lycée Albert Châtelet de St Pol sur ternoise

Stages :

Mars 2012 à Juillet 2012 : Stage de fin d'études effectué au sein du CRIL, CNRS UMR 8188, Lens, France « Compilation de formules propositionnelles en disjonctions déterministes de formules affine», sous la direction de Jean-Marie Lagniez et de Pierre Marquis.
Mars 2011 à Juin 2011 : Travail d'Étude et de Recherche effectué au sein du CRIL, CNRS UMR 8188, Lens, France « Utilisation de la recherche locale pour le problème pseudo-bolléen », sous la direction de Jean-Marie Lagniez

Recherche

Mon travail se concentre actuellement sur la compilation de formules propositionnelles vers le langages des arbres de décision affine étendus.

Publications

Conférences internationales avec actes :

Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, « Affine Decision Trees for Model Counting » International Joint Conference on Artificial Intelligence (IJCAI'13)

Conférences nationales avec actes :

Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, « Arbres de décision affine pour le comptage de modèles » Journées de l'Intelligence Artificielle Fondamentale (JIAF'13)

Mémoires :

Compilation de formules propositionnelles en disjonctions déterministes de formules affine.
Utilisation de la recherche locale pour le problème pseudo-bolléen.

Enseignements

Année universitaire 2012-2013 :

Système d'exploitation :

  • Première année de DUT Informatique
  • 18h de travaux dirigés
  • 24h de travaux pratiques
Programmation web :
  • Première année de DUT Informatique
  • 12h de travaux pratiques
Réseau :
  • Première année de DUT Informatique
  • 12h de travaux pratiques

Intérêts personnels

Informatique

  • Langages de programmation/API :

    • C / C++ (ainsi que QT et SDL)
    • Scala
    • PHP
    • Java

Le vélo

Principalement sur route mais aussi en VTT lorsque le temps le permet :)