Diplômes et études :
Depuis 2012 : Doctorant en
Informatique
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
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