Université de Strasbourg
- Attaché Temporaire d'Enseignement et de Recherche
Strasbourg2010 - 2011
Université de Strasbourg
- Moniteur d'Initiation à l'Enseignement Supérieur
Strasbourg2008 - 2010
Université de Strasbourg
- Jeune chercheur doctorant
Strasbourg2007 - 2010Préparation d'une thèse de doctorat en informatique
Sujet : Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes