Short bio...

After a MSc degree in Computer Science accomplished at the Faculty of Science of the Aix-Marseille University, I have worked as a PhD student at the Laboratoire des Sciences le l'Information et des Systèmes (LSIS laboratory, UMR CNRS 7296, Aix-Marseille University, France). Under the direction of D. Habet and P. Jégou, I have studied the solving methods for the Max-SAT problem and its variants, with a focus on branch and bound algorithms and the learning and inference mechanisms they use. Since my PhD defense, I hold a assistant lecturer position in the LSIS laboratory.

Beside branch and bound algorithm for Max-SAT, my research interest also includes the SAT and Min-SAT problems and various solving technics, both complete (branch and bound and CDCL) and incomplete (local search).