Simon MARTIEL
I am currently a Postdoc 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

20122015
University of NiceSophia Antipolis  PhD candidate, I3S laboratory.
Under supervision of Bruno Martin and Pablo Arrighi.

20102012
University of NiceSophia Antipolis  Master.

20092010
ENS Lyon  Licence in theoretical computer science.

20072009
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 2dimensional 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:
 Nonreversal and nonrepeating quantum walks, with K. Barr, T. Proctor, B. Hansen, V. Pavlovic, A. Bullivant, and V. Kendon.
To appear, Physical Review A. arXiv
Preprints:
 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, JeanLouis Giavitto, Gilles Dowek, Eric Golès
Maybe you saw me there:
 Mind and mechanism workshop 2015  Bucharest: Reversible Causal Graph dynamics
 Journées GDRIM 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