Présentation

Je viens d'obtenir mon diplôme de docteur en Informatique au sein du Centre de Recherche en Informatique de Lens (CRIL, CNRS UMR 8188) en décembre 2016, qui est un laboratoire de l'Université d'Artois. Mes recherchent sont effectuées dans le domaine de l'intelligence artificielle. Mon thème de recherche est la "Représentation de connaissances et raisonnements".
Mon sujet de thèse porte sur la "Compilation de connaissances pour le comptage de modèles". Cette thèse est encadrée par Pierre Marquis (Professeur), Frederic Koriche (Professeur) et Jean-Marie Lagniez (Maître de conférences).
Je suis actuellement à la recherche d'un emploi en tant qu'ingénieur en développement.

Curriculum Vitæ

Télécharger mon CV en pdf.

Diplômes et études :

2016 : Doctorat en Informatique de l'université d'Artois, spécialité Intelligence Artificielle.
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

Expériences :

Octobre 2012 à Aout 2016 : Enseignant contractuel en Informatique, pendant mon monitorat offert via mon contrat doctoral ainsi qu'un contrat ATER. J'ai pu dispenser des TP et TD sur divers domaines de l'informatique aux étudiants de DUT et Licences Informatique ainsi qu'à un public non informaticien comme les DUT MMI, Licence physique/Chimie.

Octobre 2012 à Aout 2016 : Chercheur contractuel, pendant mes quatre années de doctorat. Mes travaux de recherche ont consisté en l'étude théorique de plusieurs langages de représentation des connaissances permettant de compter le nombre de modèles et la conception et l'évaluation de plusieurs prototypes (en C/C++) de compilateurs vers ces langages.

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.

Mars 2019 à Juin 2019 : Stage de fin de DUT informatique réalisé au sein de la société ATOO à ARRAS. Ma missions fut d'intégrer une application de gestion de ticketing pour aider à la gestion de l'entreprise. Intégration et modification du gestionnaire de tickets OTRS (Perl/HTML/MySQL).

Recherche

Mes travaux de recherche se sont concentrés sur la compilation de formules propositionnelles vers des langages permettant le comptage de modèles.

Ces travaux ont donnés vie au projet Compile! qui vise à regrouper un ensemble de logiciels visant la compilation de connaissances. Les résultats obtenus pendant ces travaux ainsi que différents prototypes étudiés sont disponibles sur cette page.

Publications

Conférences internationales avec actes :

Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, « Compiling Constraint Networks into Multivalued Decomposable Decision Graphs » International Joint Conference on Artificial Intelligence (IJCAI'15) - pdf

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

Conférences nationales avec actes :

Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, « Compilation de réseaux de contraintes en graphes de décision décomposables multivalués » Journées Francophones de Programmation par Contraintes (JFPC'15) - pdf

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) - pdf

Mémoires :

Thèse : Compilation de connaissances pour le comptage de modèles - pdf

Mémoire de Master 2 : Compilation de formules propositionnelles en disjonctions déterministes de formules affine - pdf

Mémoire de Master 1 : Utilisation de la recherche locale pour le problème pseudo-bolléen - pdf

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

Année universitaire 2013-2014 :

Système d'exploitation :

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

Année universitaire 2014-2015 :

Système d'exploitation et réseau :

  • Première année de DUT MMI
  • 20h de travaux dirigés
  • 19h de travaux pratiques
Programmation web :
  • Première année de DUT MMI
  • 21h de travaux pratiques

Année universitaire 2015-2016 :

Introduction à l'informatique (NUM1) :

  • Première année de Licences
  • 20h de travaux dirigés
  • 98h de travaux pratiques
Algorithmique :
  • Licence Informatique deuxième année
  • 21h de travaux pratiques
Langage C :
  • Licence Informatique troisième année
  • 21h de travaux pratiques
Assembleur :
  • Licence Informatique deuxième année
  • 12h de travaux pratiques

Intérêts personnels

RISER ROAD FUSION

Je suis secrétaire et membre actif de l'association d'échasses urbaines Riser Road Fusion de Saint Laurent-Blangy.

Nous nous occupons de l'accueil des membres et nouveaux membres les jeudi soir pour les entraînemnts en salle (préparation de la salle, coaching, etc. Nous préparons activement plusieurs évènements dans le Nord et le Pas-de-Calais, initiations, shows, déambulations, promenades pour les membres du club, etc.

Enfin nous organisons la Riser Winter Cup, compétition d'échasses urbaines sur 3 épreuves (freestyle street, saut en longueur et saut en hauteur). La Riser Winter Cup est devenue le plus gros évènement international d'échasses urbaines. Nous avons eu l'occasion d'acceuillir Anglais, Allemands, Russes, Tchèques et Chilliens lors de ces dernières années.


Le vélo

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