Recherche Mes thématiques de recherche et domaines d’intérêt Automates cellulaires et dynamique symbolique Théorie des ensembles et calculabilité Abstract State Machine et théorie des algorithmes