Simon MARTIEL
I am currently a Post-doc at the LSV, ENS Cachan, in the INRIA team Deducteam under supervision of Gilles Dowek.
I have been awarded a John Templeton Foundation Turing Centenary Research Scholarship in June 2012 for a duration of 3 years. I am also "médaillé" 2015 of the University of Côte d'Azur.
Research interests
I am primarily interested in computational models over geometrical spaces, and more particularly over dynamical geometries.
My PhD thesis is about Causal Graph Dynamics, a model at the interface between cellular automata and graph rewriting. CGD are graph transformations that have the same symmetries as CA (bounded speed of information, homogeneity, bounded density of information), while having the capacity of dynamically changing the underlying graph, and not only the internal states of the vertices.
Besides simply generalizing CA for the sake of it, this model might allow for the creation of formal tools for the modelisation of natural phenomena, ranging from biology to general relativity.
This interest naturally extends to distributed computation, quantum computation, computational aspect of theoretical physics, natural computing, and modelisation of natural phenomena.
In the past
-
2012-2015
University of Nice-Sophia Antipolis - PhD candidate, I3S laboratory.
Under supervision of Bruno Martin and Pablo Arrighi.
-
2010-2012
University of Nice-Sophia Antipolis - Master.
-
2009-2010
ENS Lyon - Licence in theoretical computer science.
-
2007-2009
Grenoble - Classe preparatoire MP.
Some publications
Conferences:
- Reversible causal graph dynamics, with Pablo Arrighi and Simon Perdrix, RC 2016.arXiv
- Block decomposition of reversible causal graph dynamics, with Pablo Arrighi and Simon Perdrix, FCT 2015. hal
- An intrinsically universal family of causal graph dynamics, with Bruno Martin, MCU 2015, best student paper award. hal
- Intrinsic universality of causal graph dynamics, with Bruno Martin, MCU 2013, Zurich, September 2013. arXiv
- Causal dynamics of Simplicial complexes: the 2-dimensional case, with Pablo Arrighi, DCM 2013, Buenos Aires, August 2013. pdf
- Generalized Cayley graphs and cellular automata over them, with Pablo Arrighi, GCM 2012, Bremen, September 2012. arXiv(l. v.)
Journals:
- Non-reversal and non-repeating quantum walks, with K. Barr, T. Proctor, B. Hansen, V. Pavlovic, A. Bullivant, and V. Kendon.
To appear, Physical Review A. arXiv
Pre-prints:
- Quantum Causal Graph Dynamics, with Pablo Arrighi. arXiv
- Generalized Cayley graphs and cellular automata over them, with Pablo Arrighi and Vincent Nesme, submitted. arXiv
- Universality of causal graph dynamics, with Bruno Martin, submitted. arXiv
PhD thesis:
Title: Algorithmical and mathematical approaches of causal graph dynamics
Supervisors: Bruno Martin and Pablo Arrighi
Jury: Pablo Arrighi, Bruno Martin, Vincent Danos, Jarkko Kari, Emmanuel Jeandel, Jean-Louis Giavitto, Gilles Dowek, Eric Golès
Maybe you saw me there:
- Mind and mechanism workshop 2015 - Bucharest: Reversible Causal Graph dynamics
- Journées GDR-IM 2015 - Bordeaux: Causal Graph Dynamics
- Mind and mechanism workshop 2014 - New York City: Causal Graph Dynamics and generalized Cayley Graphs
- Journées calculabilité 2014 - Montpellier: Causal Graph Dynamics and generalized Cayley Graphs
- FRAC 2014 - Nancy: Causal Dynamics of Discrete Manifolds
- EJCIM 2014 - Caen: Causal Dynamics of Discrete Surfaces