Nantes, France.

Accueil

Je suis doctorant au sein de Nantes Université / Laboratoire des Sciences du Numérique de Nantes (LS2N). Je travaille sur la vérification de modèles, en particulier les modèles différentiels.

Ce site a surtout vocation à compiler mes travaux de recherches, ainsi qu'à accueillir mon blog.

Mon CV en français est disponible ici.
The english version of my resume is available here.