CV

Je suis actuellement étudiant en Master 2^ème année (BAC+5) d'informatique à l'université de Bordeaux 1. Ma formation s'intitule "ingénierie des systèmes critiques". Elle consiste en l'apprentissage de techniques formelles, rigoureuses, ayant pour but d'augmenter la confiance dans la conception et/ou l'analyse de système, afin d'en garantir certaines propriétés. J'ai cependant une formation initiale en informatique (Maitrise) qui me permet de faire du développement classique.

J'ai fais, pendant mon 2^nd semestre de master, un mémoire de recherche (DEA). Son sujet était en rapport avec une approche CEGAR du model-checking. Il s'intitule "Séparation d'espaces d'états représentés par des langages - Application au calcul d'interpolant sur les ROBDD", et est présent dans la section Université de mon site (année 2007-2008).

J'ai entamé à la rentrée 2008-2009 une thèse au sein de l'équipe méthode formelle (MF), dans le groupe modélisation et vérification (MV), du LaBRI, à Bordeaux. Mon sujet de départ s'intitule "Heuristiques pour représentations symboliques d'ensembles de configurations". Cette thèse est co-encadrée par M. Zeitoun et par F. Herbreteau. J'ai l'occasion pendant ma thèse de participer à des enseignements au sein de l'ENSEIRB, en qualité de doctorant moniteur.

Télécharger mon CV
(version du 1^er novembre 2010)