Courte Biographie
CV
Ci-dessous sont présentés mes expériences, diplômes et compétences. Vous pouvez également télécharger la version PDF plus détaillée de mon CV.
-
business_center Expériences
- Octobre 2020 - aujourd’hui - Contrat postdoctoral au LIX
- Octobre 2017 - décembre 2020 - Doctorat au CRIL (soutenu le 14 décembre 2020)
- Octobre 2017 - juin 2020 - Enseignements en Informatique à l’Université d’Artois
- Avril 2017 - septembre 2017 - Stage de recherche au CRIL
- Avril 2016 - juin 2016 - Travail d’Étude et de Recherche (TER) au CRIL
- Juin 2015 - décembre 2015 - Réalisation d’un plugin Eclipse en collaboration avec Microsoft Research Cambridge
-
local_library Comités de Programme
- 2021 - Membre du comité de programme de la Trentième International Joint Conference on Artificial Intelligence (IJCAI’21)
-
account_balance Formation
- 2017-2020 - Doctorat en Informatique et Applications à l’Université d’Artois
- 2015-2017 - Master d’Informatique (parcours Intelligence Artificielle) à l’Université d’Artois
- 2012-2015 - Licence d’Informatique à l’Université d’Artois
- 2012-2015 - Licence de Mathématiques à l’Université d’Artois
- 2012 - Baccalauréat Scientifique (spécialité Mathématiques)
-
code Compétences
- Langues vivantes - Anglais courant (TOEIC 2017 : 985/990), Italien scolaire
- Langages de programmation - Bash, C, C++, Go, Haskell, Java, Perl, Python
- Développement web - HTML5, CSS3
- Autres - LaTeX, Markdown, Pandoc
Enseignements
Ci-dessous sont présentés les différents enseignements que j’ai dispensés. Cliquez sur l’année qui vous intéresse pour plus de détails.
-
school Année universitaire 2019/2020
Enseignements réalisés en Licence d’Informatique à l’UFR des Sciences de Lens.
- Assembleur (ASS) - 15h de TP
- Programmation C Avancée (AVANC) - 18h de TP
- Conception Orientée Objet (COO) - 36h de TP
- Lambda Calcul et Programmation Fonctionnelle (LCPF) - 16h de TP
-
school Année universitaire 2018/2019
Enseignements réalisés en DUT Informatique à l’IUT de Lens.
- Introduction aux Systèmes Informatiques (SE-1) - 21h de TD, 24h de TP
- Structures de Données et Algorithmes Fondamentaux (SD-1) - 19.5h de TP
-
school Année universitaire 2017/2018
Enseignements réalisés en DUT Informatique à l’IUT de Lens.
- Introduction aux Systèmes Informatiques (SE-1) - 16.5h de TD, 16.5h de TP
- Architecture et programmation des mécanismes de base d’un système informatique (SE-2) - 11.5h de TP
- Structures de Données et Algorithmes Fondamentaux (SD-1) - 19.5h de TP
Recherche
Je m’intéresse à la résolution du problème de cohérence propositionnelle, notamment par le biais du raisonnement pseudo-booléen. J’étudie également diverses applications des solveurs SAT, comme l’optimisation sous contraintes et la compilation de connaissances. Ci-dessous sont présentés mes différents travaux de recherche. Vous pouvez également les retrouver sur HAL, DBLP, ORCID ou encore ResearchGate.
Journaux Internationaux
Conférences Internationales
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
juillet 2020On Weakening Strategies for PB Solvers
juillet 2020Revisiting Graph Width Measures for CNF-Encodings
juillet 2019Pseudo-Boolean Constraints from a Knowledge Representation Perspective
juillet 2018Conférences Nationales
Ateliers Internationaux
On Adapting CDCL Strategies for PB Solvers
juillet 2020Metrics: Towards a Unified Library for Experimenting Solvers
juillet 2020On Irrelevant Literals in Pseudo-Boolean Constraint Learning
juillet 2019Présentations
Deep Dive into CDCL Pseudo-Boolean Solvers
23 février 2021Pseudo-Boolean Reasoning and Compilation
14 décembre 2020Metrics: A Unified Library for Experimenting Solvers
17-24 septembre 2020Tuning Sat4j PB Solvers for Decision Problems
28 août 2020Pseudo-Boolean Constraints: Reasoning and Compilation
11 septembre 2017Manuscrits
Pseudo-Boolean Reasoning and Compilation
décembre 2020Raisonnement à partir de contraintes pseudo-booléeennes et compilation
septembre 2017Heuristiques pour la décomposition de formules CNF
juin 2016Logiciels
Ci-dessous sont indiqués les logiciels et bibliothèques (académiques ou non) que j’ai développés ou auxquels j’ai contribué.
Je suis un contributeur du solveur Sat4j, la « bibliothèque libre de satisfaction et d’optimisation en variables booléennes pour la machine virtuelle Java ».
En tant que membre de l’équipe WWF (composée de Hugues Wattez, Romain Wallon et Thibault Falque), je participe au développement de la bibliothèque libre Metrics, conçue pour faciliter la réalisation d’expérimentations et leur analyse. L’objectif principal de Metrics est de fournir une chaîne complète d’outils allant de l’exécution du logiciel à l’analyse de ses performances. Le développement de Metrics a commencé en partant du constat que, dans la communauté SAT, le processus d’expérimentation des solveurs reste en grande partie le même : la plupart du temps, ce sont les mêmes statistiques sur l’exécution du solveur qui sont collectées. Cependant, il existe probablement autant de scripts que de chercheurs du domaine pour récupérer ces données expérimentales et produire les figures associées. L’ambition de Metrics est de simplifier la récupération des données expérimentales à partir de nombreuses entrées différentes (y compris les fichiers produits par le solveur), et fournir une interface simple pour produire des graphiques communément utilisés, calculer des statistiques sur l’exécution du solveur, et organiser le tout en un minimum d’efforts. Au final, le but principal de Metrics est de favoriser le partage et la reproductibilité des résultats expérimentaux et de leur analyse.
J’ai développé JKaHyPar, un binding Java de la bibliothèque KaHyPar (Karlsruhe Hypergraph Partitioning) permettant le partitionnement d’hypergraphes.
J’ai participé, en collaboration avec Thibault Falque, à la conception du plugin gitmoji4eclipse (disponible sous licence EPL), qui propose une vue permettant d’intégrer dans l’IDE Eclipse le choix du Gitmoji le plus adapté au moment de rédiger un message de commit, afin de marquer visuellement le but dudit commit.
J’ai développé un outil de génération d’acronymes, appelé AcronymMaker, qui permet de facilement nommer des projets (tels que des logiciels, par exemple) à partir d’une phrase décrivant le rôle de ce projet. Cet outil implante différentes stratégies permettant de personnaliser la manière dont les acronymes sont générés.