Curiculum Vitæ
Formation et activités
| 2010- | Postdoctorat, à l'Université de Turku (Finlande) |
|---|---|
| 2009-2010 | Postdoctorat, au Centro de Modelamiento Matemático (Santiago du Chili) |
| 2008-2009 | ATER, à l'Institut Gaspard-Monge (Marne la Vallée) |
| 2005-2008 | Thèse et monitorat, à l'Institut Gaspard-Monge (Marne la Vallée) |
| 2004-2005 | Préparation à l'Agrégation de Mathématiques, à l'ENS Lyon |
| 2001-2004 | Magistère d'Informatique et Modélisation, à l'ENS Lyon |
| 1999-2001 | Classe préparatoire, au Lycée Champollion (Grenoble) |
Stages et principaux séjours de recherche
| août 2009 | collaboration avec Anahí Gajardo
Dynamique des machines de Turing |
Departamento de Ingeniería Matemática,
Universidad de Concepción |
|---|---|---|
| oct 2007 | collaboration avec Alberto Dennunzio
Automates de sable sensibles |
Fisica Computazionale e Sistemi Complessi, DISCO,
Università degli Studi di Milano-Bicocca |
| sept 2007 | collaboration avec Petr Kůrka
Décidabilité et simulation des systèmes dynamiques |
Centrum pro teoretická studia,
Univerzity Karlovy a Akademie věd Česká Republika |
| juin 2007 | collaboration avec Pietro di Lena
Facteurs canoniques d'automates cellulaires |
Dipartimento Scienze dell'Informazione,
Università di Bologna |
| fév-juin 2004 | stage de DEA sous la direction de Bruno Durand et Nicolas Ollinger
Automates cellulaires fiables |
Équipe Logique et Complexité, LIF,
Université de Provence, Marseille |
| juin-août 2003 | stage de Maîtrise sous la direction de Geňa Hahn
Jeu de poursuite sur un graphe |
Laboratoire d'Informatique Théorique et Quantique, DIRO,
Université de Montréal |
| juin-juillet 2002 | stage de Licence sous la direction d'Evelyne Contejean
Interface entre CiME et Coq |
Équipe Démons, Laboratoire de Recherche en Informatique,
Université Paris XI-Orsay |
Exposés et cours spécialisés
- Automates cellulaires et sous-shifts. 3 mars 2010, séminaire Dynamique et Interfaces, Université de Nice.
- Factor Subshifts of Cellular Automata. 9 novembre 2009, seminario Sistemas dinámicos en Santiago, Universidad de Chile.
- Trazas de autómatas celulares. 5 août 2009, coloquio Departamento de Ingeniería Matemática, Universidad de Concepción.
- Systèmes sofiques généralisés. 6 mars 2009, workshop FRAC, Université Paris-Est.
- A Rice-like Theorem on Limit traces of Cellular Automata. 30 mai 2008, séminaire Large graphs and networks, Université Catholique de Louvain.
- Automates cellulaires: dynamiques et trace. 3 avril 2008, EJC GDR IM, CIRM Marseille.
- Automates cellulaires: trace et nilpotence. 27 mars 2008, séminaire équipe LIMD, Université de Savoie.
- Systèmes textiles et automates cellulaires. 13 mars 2008, groupe de travail Automates, Université Paris-Est.
- Automates cellulaires: trace et nilpotence. 4 mars 2008, séminaire GREYC, Université de Caen.
- Systèmes dynamiques et traces. 22 janvier 2008, cours semaine sport-études L3, ENS Lyon.
- Presque un théorème de Rice sur les traces. 28 novembre 2007, workshop FRAC, Université de Nice-Sophia-Antipolis.
- Traceability of Sofic Subshifts. 1 novembre 2007, séminaire FISLAB, Universitá degli Studi di Milano-Bicocca.
- Traces d'automates cellulaires. 26 janvier 2007, cours semaine sport-études L3, ENS Lyon.
- Sous-shift des traces d'un automate cellulaire. 21 novembre 2006, séminaire IGM-LabInfo, Université de Marne la Vallée.
- Trace d'un automate cellulaire. 11 octobre 2006, workshop FRAC, ENS Lyon.
- Traces sofiques. 7 septembre 2006, séminaire équipe RECIF, Université de Nice-Sophia-Antipolis.
- Ensemble des traces des automates cellulaires. 13 juin 2006, journée des doctorants IGM, Université de Marne la Vallée.
- Signaux des automates cellulaires. 2 juin 2006, workshop FRAC, Université de Provence.
- Fiabilité des automates cellulaires. 26 mai 2004, workshop Automates cellulaires, Université de Marne la Vallée.