J'ai soutenu ma thèse de doctorat en Novembre 2008. Le titre était
Vérification de systèmes avec
compteurs et pointeurs. Mes directeurs de thèse
étaient Alain
Finkel et Étienne
Lozes. Pendant l'année 2009, j'étais
post-doctorant au Département d'Informatique de
l'Université de Turin où je travaillais avec Jeremy Sproston. De
Janvier à Septembre 2010, j'étais post-doctorant au DISI de l'Université de
Gênes où je travaillais avec Giorgio
Delzanno.