Je suis actuellement en thèse dans l'équipe CARTE sous la direction de Jean-Yves Marion. Je travaille sur la sémantique des programmes auto-modifiants.

Adresse : Équipe CARTE
Campus scientifique
BP 239 54506
Vandœuvre-lès-Nancy Cedex
Bureau : B235
Mail : <prénom>.<nom>@inria.fr
Clef GPG :
9A74430A :