Nathalie AUBRUN - Admise au titre de docteur

Identifiant ORCID 0000-0002-2701-570X
Identifiant Hal https://hal.archives-ouvertes.fr/search/index/?q=%2A&authIdHal_s=nathalieaubrun

Expérience professionnelle :
CDD du 1 septembre 2011 au 31 août 2012
Type de contrat : Contrat post-doctoral en université

Doctorat Informatique

Thèse soutenue le 22 juin 2011 - Université Paris-Est

Ecole doctorale : MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication

Sujet : Dynamique symbolique des systèmes 2D et des arbres infinis.

Mots-clés de la thèse : dynamique symbolique,systèmes dynamiques symboliques multidimensionnels,décalages effectifs,sous-action projective,automates d’arbres,décalages d’arbres,

Direction de thèse : Marie-Pierre BEAL

Unité de recherche : LIGM - Laboratoire d'informatique Gaspard-Monge UMR 8049 - Marne la Vallée

Diplôme national de master - Informatique Fondamentale

obtenu en juillet 2008 - Ens Lyon - Université Claude Bernard Lyon 1

Production scientifique

- Nathalie Aubrun and Mathieu Sablik 2009. An Order on Sets of Tilings Corresponding to an Order on Languages. Proceedings of 26th International Symposium on Theorical Aspects of Computer Science, p. 99-110, http://monge.univ-mlv.fr/~aubrun/articles/stacs09.pdf
- Nathalie Aubrun and Marie-Pierre Béal 2009. Decidability of conjugacy of tree shifts of finite type. Proceedings of 36th International Colloquium on Automata, Languages and Programming, p.132-143, http://monge.univ-mlv.fr/~aubrun/articles/icalp09.pdf
- Nathalie Aubrun and Marie-Pierre Béal 2010. Sofic and almost of finite type tree-shifts. Proceedings of Computer Science in Russia, p. 12-24, http://monge.univ-mlv.fr/~aubrun/articles/csr2010.pdf
- Nathalie Aubrun and Mathieu Sablik 2010. Simulation of effective subshifts by two-dimensional SFT , ,

Langues Vivantes : Anglais C2 - Courant - Espagnol B1 - Intermédiaire

Dernière mise à jour le 8 mars 2012