Short Biography
CV
Below are presented my experiences, diplomas and skills. You can also download the more detailled PDF version of my CV.
-
business_center Experiences
- October 2020 - Today - Postdoc at LIX
- October 2017 - December 2020 - PhD at CRIL (defended on December 14th, 2020)
- October 2017 - June 2020 - Teaching in Computer Science at Artois University
- April 2017 - September 2017 - Research internship at CRIL
- April 2016 - June 2016 - Survey and Research Work (TER) at CRIL
- June 2015 - December 2015 - Development of an Eclipse plugin in collaboration with Microsoft Research Cambridge
-
local_library Program Committees
- 2021 - Member of the Program Committee of the 30th International Joint Conference on Artificial Intelligence (IJCAI’21)
-
account_balance Education
- 2017-2020 - PhD in Computer Science and Applications from Artois University
- 2015-2017 - Master’s Degree in Computer Science (speciality in Artificial Intelligence) from Artois University
- 2012-2015 - Bachelor’s Degree in Computer Science from Artois University
- 2012-2015 - Bachelor’s Degree in Mathematics from Artois University
- 2012 - Scientifical Baccalauréat (speciality in Mathematics)
-
code Skills
- Spoken Languages - Fluent English (TOEIC 2017: 985/990), scholar Italian
- Programming Languages - Bash, C, C++, Go, Haskell, Java, Perl, Python
- Web Development - HTML5, CSS3
- Miscellaneous - LaTeX, Markdown, Pandoc
Teaching
Below are presented the various lessons I gave. Click on the year in which you are interested for more details.
-
school Academic Year 2019/2020
Lessons given in Bachelor’s Degree of Computer Science at the Faculty of Sciences of Lens.
- Assembly (ASS) - 15h of Practical Works
- Advanced C Programming (AVANC) - 18h of Practical Works
- Object-Oriented Design (COO) - 36h of Practical Works
- Lambda Calculus and Functional Programming (LCPF) - 16h of Practical Works
-
school Academic Year 2018/2019
Lessons given in DUT of Computer Science at the IUT (Institute of Technology) of Lens.
- Introduction to Operating Systems (SE-1) - 21h of Directed Exercises, 24h of Practical Works
- Data Structures and Fundamental Algorithms (SD-1) - 19.5h of Practical Works
-
school Academic Year 2017/2018
Lessons given in DUT of Computer Science at the IUT (Institute of Technology) of Lens.
- Introduction to Operating Systems (SE-1) - 16.5h of Directed Exercises, 16.5h of Practical Works
- Architecture and Prgramming of the Base Mechanisms of an Operating System (SE-2) - 11.5h of Practical Works
- Data Structures and Fundamental Algorithms (SD-1) - 19.5h of Practical Works
Research
I am interested in satisfiability solving, and in particular in approaches based on pseudo-Boolean reasoning. I also work on different applications of SAT solvers, such as constrained optimization and knowledge compilation. Below are presented my different research works, which may also be retrieved on HAL, DBLP, ORCID or ResearchGate.International Journals
International Conferences
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
July 2020On Weakening Strategies for PB Solvers
July 2020Revisiting Graph Width Measures for CNF-Encodings
July 2019Pseudo-Boolean Constraints from a Knowledge Representation Perspective
July 2018National Conferences
International Workshops
On Adapting CDCL Strategies for PB Solvers
July 2020Metrics: Towards a Unified Library for Experimenting Solvers
July 2020On Irrelevant Literals in Pseudo-Boolean Constraint Learning
July 2019Presentations
Deep Dive into CDCL Pseudo-Boolean Solvers
February 23rd, 2021Pseudo-Boolean Reasoning and Compilation
December 14th, 2020Metrics: A Unified Library for Experimenting Solvers
September 17-24th, 2020Tuning Sat4j PB Solvers for Decision Problems
August 28th, 2020Pseudo-Boolean Constraints: Reasoning and Compilation
September 11th, 2017Manuscripts
Pseudo-Boolean Reasoning and Compilation
December 2020Raisonnement à partir de contraintes pseudo-booléeennes et compilation
September 2017Heuristiques pour la décomposition de formules CNF
June 2016Software
Below are described the software programs and libraries (from academia or not) that I developed or to which I contributed.
I am a committer of the solver Sat4j, a “full featured Boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine”.
As a member of the WWF team (Hugues Wattez, Romain Wallon and Thibault Falque), I participate in the development of the Metrics open-source library, designed to facilitate the conduction of experiments and their analysis. The main objective of Metrics is to provide a complete toolchain from the execution of software programs to the analysis of their performance. In particular, the development of Metrics started with the observation that, in the SAT community, the process of experimenting solver remains mostly the same: everybody collects almost the same statistics about the solver execution. However, there are probably as many scripts as researchers in the domain for retrieving experimental data and drawing figures. There is thus clearly a need for a tool that unifies and makes easier the analysis of solver experiments. The ambition of Metrics is thus to simplify the retrieval of experimental data from many different inputs (including the solver’s output), and provide a nice interface for drawing commonly used plots, computing statistics about the execution of the solver, and effortlessly organizing them. In the end, the main purpose of Metrics is to favor the sharing and reproducibility of experimental results and their analysis.
I developed JKaHyPar, a Java binding of the KaHyPar (Karlsruhe Hypergraph Partitioning) library allowing to partition hypergraphs.
I participated, together with Thibault Falque, to the design of the gitmoji4eclipse plugin (available under EPL), which provides a view integrating in the Eclipse IDE the choice of the most suitable Gitmoji when writing a commit message, so that the purpose of this commit is visually clearer.
I developed a tool for generating acronyms, called AcronymMaker, allowing to easily find a name for projects (such as software programs, for instance) from a phrase describing the purpose of this project. This tool implements different strategies allowing to customize the way acronyms are generated.