Je suis actuellement en troisième année de thèse, sous la direction d'Alain Finkel. Je travaille sur la décidabilité des extensions de systemes d'additions de vecteurs.