Recherche
Mon sujet de thèse était : Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace
[Manuscrit et diapos]
Publications
Alt-Ergo 2.2: Alt-Ergo tool paper [SMT2018]
Rapport de stage recherche de Master : Analyse post-mortem du graphe de pointeurs mémoire d’application OCaml
Logiciels
Psmt2-frontend: Un parser et typechecker pour le standard SMT-LIB2 étendue avec du polymorphisme prenexe
Enseignement
Je été assistant de TD dans un cours de C et système et un cours de Principes des langages de programmation à l'ENSTA-Paristech.
À propos de moi
Un Barbu