Curiculum Vitæ
Education
2010- | Postdoctorate fellow, in Turku University (Finland) |
---|---|
2009-2010 | Postdoctorate fellow, in the Centro de Modelamiento Matemático (Santiago de Chile) |
2008-2009 | Assistant professor, in the Institut Gaspard-Monge (Paris-Est) |
2005-2008 | PhD thesis and assistant professor, in the Institut Gaspard-Monge (Paris-Est) |
2004-2005 | Preparation to the Agrégation of mathematics, in ENS Lyon |
2001-2004 | Magister of Fundamental Computer Science, in ENS Lyon |
Foreign research journeys and internships
aug 2009 | collaboration with Anahí Gajardo
Turing machines dynamics |
Departamento de Ingeniería Matemática,
Universidad de Concepción |
---|---|---|
oct 2007 | collaboration with Alberto Dennunzio
Sensitive sand automata |
Fisica Computazionale e Sistemi Complessi, DISCO,
Università degli Studi di Milano-Bicocca |
sept 2007 | collaboration with Petr Kůrka
Decidability and simulation in dynamical systems |
Centrum pro teoretická studia,
Univerzity Karlovy a Akademie věd Česká Republika |
june 2007 | collaboration with Pietro di Lena
Canonical factors of cellular automata |
Dipartimento Scienze dell'Informazione,
Università di Bologna |
fev-june 2004 | master thesis supervised by Bruno Durand and Nicolas Ollinger
Reliable cellular automata |
Team Logique et Complexité, LIF,
Université de Provence, Marseille |
june-august 2003 | internship supervised by Geňa Hahn
Cop-win graphs |
Laboratoire d'Informatique Théorique et Quantique, DIRO,
Université de Montréal |
june-july 2002 | internship supervised by Evelyne Contejean
Interface between CiME and Coq |
Team Démons, Laboratoire de Recherche en Informatique,
Université Paris XI-Orsay |
Talks and specialised courses
- Automates cellulaires et sous-shifts. march 3rd 2010, seminar Dynamique et Interfaces, Université de Nice.
- Factor Subshifts of Cellular Automata. november 9th 2009, seminario Sistemas dinámicos en Santiago, Universidad de Chile.
- Trazas de autómatas celulares. august 5th 2009, coloquio Departamento de Ingeniería Matemática, Universidad de Concepción.
- Systèmes sofiques généralisés. march 6th 2009, workshop FRAC, Université Paris-Est.
- A Rice-like Theorem on Limit traces of Cellular Automata. may 30th 2008, séminaire Large graphs and networks, Université Catholique de Louvain.
- Automates cellulaires: dynamiques et trace. april 3rd 2008, EJC GDR IM, CIRM Marseille.
- Automates cellulaires: trace et nilpotence. march 27th 2008, séminaire équipe LIMD, Université de Savoie.
- Systèmes textiles et automates cellulaires. march 13th 2008, groupe de travail Automates, Université Paris-Est.
- Automates cellulaires: trace et nilpotence. march 4th 2008, séminaire GREYC, Université de Caen.
- Systèmes dynamiques et traces. january 22nd 2008, cours semaine sport-études L3, ENS Lyon.
- Presque un théorème de Rice sur les traces. november 28th 2007, workshop FRAC, Université de Nice-Sophia-Antipolis.
- Traceability of Sofic Subshifts. november 1st 2007, séminaire FISLAB, Universitá degli Studi di Milano-Bicocca.
- Traces d'automates cellulaires. january 26th 2007, cours semaine sport-études L3, ENS Lyon.
- Sous-shift des traces d'un automate cellulaire. november 21st 2006, séminaire IGM-LabInfo, Université de Marne la Vallée.
- Trace d'un automate cellulaire. october 11th 2006, workshop FRAC, ENS Lyon.
- Traces sofiques. september 7th 2006, séminaire équipe RECIF, Université de Nice-Sophia-Antipolis.
- Ensemble des traces des automates cellulaires. june 13th 2006, journée des doctorants IGM, Université de Marne la Vallée.
- Signaux des automates cellulaires. june 2nd 2006, workshop FRAC, Université de Provence.
- Fiabilité des automates cellulaires. may 26th 2004, workshop Automates cellulaires, Université de Marne la Vallée.