RECHERCHE
Mon travail recherche rentre dans le cadre général du
model-checking symbolique de
systèmes infinis.
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.
