Nantes, France.

Bienvenue !

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, ainsi qu'à accueillir mon blog.