Enseignement

Années 2014-2015 et 2015-2016

Bien que n'étant plus à l'ENSIIE, j'y redonne quelque cours et TD.

Langages Formels

Je donne les TD de Langages Formels à l'antenne ENSIIE de Strasbourg, dont le cours est assuré par Xavier Urbain.

Logique

Je m'occupe d'un groupe de TD de Logique à l'ENSIIE, dont le cours est assuré par Julien Forest.

Modèles de Calcul

Enfin, je m'occupe avec Xavier Urbain des cours et TD de Modèles de Calcul.