Sébastien Chédor

Sujet de la thèse :
Test, diagnostique et opacité pour des systèmes récursif de tuiles.

Représentation des programmes par des modèles mathématiques afin de donner des preuves de propriétés.