Présentation

J'ai obtenu 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 en poste chez Elonet en tant qu'ingénieur polyvalent en développement tout en continuant à m'informer sur l'IA. J'ai développé plusieurs applications dans différents langages. De grosses applications critiques de tracking de produit, à des applications web, en passant par des applications android de scan de code-barres et de vérification de stock. J'ai mis en pratique ma veille sur l'IA en développant un prototype d'application de reconnaissances d'images et de comptage de produits sur une image.

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. (http://www.cril.univ-artois.fr/2016/12/14/thesis-thomas/)
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 :

Depuis Septembre 2018 : Ingénieur logiciel / Développeur Full stack (Elonet / Vallourec) :
Intégration d'une équipe regroupant les talents afin d'imaginer une solution novatrice et durable de tracking sur les chaînes de production de l'entreprise, au niveau mondial.
Concevoir et déployer en France et Allemagne le projet pilote de démonstration.

  • Création et démonstration de solutions d’intelligence artificielle (computer vision, ML)
  • Création de Workshops IA, Machine learning et vision par ordinateur à destination du management et des développeurs

    Fast AI Keras Pandas Numpy Tensorflow Pytorch
  • Création d’architectures logicielles full stack

    Angular Ionic Jhipster GitLab
  • Aide à la conception de la démarche infra-as-code
  • Création de méthodes et procédures d’industrialisation
  • Mise en place du cycle de développement continu (référent Gitlab et templates)
  • Création des micro-services et API associées
  • Création d’automatisations CI/CD et plateformes associées (dév, recette, production)
  • Support et formation des personnels techniques

Mai 2017 à Septembre 2018 : Ingénieur en développement C expert (Elonet / Vallourec) :
Conception de trackings temps réel des chaînes de production.
Soutien à l'équipe de développement et prise en charge des problématiques techniques nécessitant une connaissance approfondie du langage C.

  • Migration de CVS et SVN à Git
  • Migration et optimisation d’applications AIX vers Linux
  • Rédactions de procédures qualité du code
  • Intégrations d’outils d’analyses de performances et de conformité du code
  • Créations et déploiements d’outils d’identification et de suppression des erreurs
  • Création et déploiement d’un framework de tests unitaires
  • Programmation en relation avec des automates et composants temps-réel à haute criticité
  • Participation à la mise en place du cycle de développement continu (référent Jenkins)
  • Création d’automatisations CI/CD et plateformes associées (dév, recette, production)
  • Création et maintenance de dépôts RPM spécifiques avec automatisations
  • Support et formation des personnels techniques

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

Certifications :

Python Certified Associate in Python Programming (PCAP) : Cliquez ici pour voir le diplôme

C Certified Professional Programmer Certification (CLP) : Cliquez ici pour voir le diplôme

C Programming Language Certified Associate Certification (CLA) : Cliquez ici pour voir le diplôme

Professional Scrum Developer Certification (PSD) : Cliquez ici pour voir le diplôme


Mots clés

Linux, Jfrog Artifactory pro, Computer Vision, Deep Learning, Machine Learning, Docker, Python, OpenCV, Ionic, Angular, AWS (S3,EC2, spot instances, AMI, ...), TerraForm, jhipster, VMWare, Nginx, micro services, apk, android, Java, npm, rpm, datamatrix, RFID, Jenkins, SonarQube, GDB, Valgrind, Sanitizer, AIX, Linux (RedHat, CentOS, Ubuntu), VmWare, Groovy, Shell, Python, C, Java, Yml, CVS, SVN, Git, GitLab, Maven, RPM, pip, npm, Scrum, API, PostgreSQL, MySQL, SRS (automates), RFC1006, Modbus

Recherche

Mes travaux de recherche se sont concentrés sur la compilation de formules propositionnelles vers des langages permettant le comptage de modèles. Cliquez ici pour télécharger ma Thèse.

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 - poster

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 - poster

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 - slides

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

Mémoire de Master 1 : 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

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