Curriculum Vitae

(Download English version)

Formations et diplômes :

2010-2013 : Thèse, Laboratoire d'Informatique Fondamental de Marseille, Aix-Marseille Université.
Équipe modélisation et vérification.

2008-2010 : Master Informatique, Université d'Aix-Marseille II, mention bien (Major).

2005-2008 : Licence Informatique, Université d'Aix-Marseille II, mention bien (Major).

Expériences professionnelles :

2021-... : Professeur informatique, Université du Québec à Montréal (UQÀM), Canada.

2020-2021 : Chercheur, Centre de Recherche Informatique de Montréal (CRIM), Canada.

2015-2020 : Post doctorat, Centre de Recherche Informatique de Montréal (CRIM), Canada.

2014-2015 : Post doctorat, IRIT et LAAS-CNRS, Toulouse.

2013-2014 : 1/2 ATER, Laboratoire d'Informatique Fondamental de Marseille, Aix-Marseille Université.

2010-2013 : Moniteur, Laboratoire d'Informatique Fondamental de Marseille, Aix-Marseille Université.

Journaux

Conférences internationales à comité de lecture

Rapports techniques :

Workshop

Reviews

École de recherches

Programmes :

Thèse :