I am a postdoctoral researcher in the
natural computing team (CANA) of the
Laboratoire d’Informatique Fondamentale de Marseille (LIF),
at Aix-Marseille Université.
I am funded by the LabEx Archimède during 2016-2017.
During 2014-2015 and 2015-2016 I was a postdoctoral researcher at the
Institut de Mathématiques de Toulouse
at Université Paul Sabatier,
funded by LabEx CIMI.
During spring 2014, I was visiting
Montanuniversität Leoben
and TU Graz (Austria).
I defended my PhD thesis in November 2013, under the co-supervision of
Valérie Berthé
(Université Paris Diderot, France)
and Jarkko Kari
(University of Turku, Finland).
- Email
- timo.jolivet ♫ lif.univ-mrs.fr
- Mailing address
-
LIF
Parc scientifique et technologique de Luminy
163, avenue de Luminy - Case 901
13288 Marseille Cedex 9
- Office location
-
Campus de Luminy, TPR1 building, gate G, 6th floor, office 617
CV (mars 2015, en français)
Research
Scientific interests: symbolic dynamics, computability theory, fractal geometry, tilings, combinatorics on words.
Publications
-
Topological substitutions and Rauzy fractals
(with N. Bédaride, A. Hilion)
Bulletin de la Société Mathématique de France, to appear,
arXiv:1603.02790
-
Decidability problems for self-induced systems generated by a substitution
(with A. Siegel)
Proceedings of MCU 2015, LNCS 9288, 3-16
-
A numerical scale for non locally connected planar continua
(with B. Loridant, J. Luo)
Topology and its Applications 202 (2016), 21-39,
arXiv:1411.6776
-
Undecidability in self-affine sets and multi-tape automata
(with J. Kari)
Proceedings of MFCS 2014, LNCS 8634, 352-364,
arXiv:1401.0705
-
A combinatorial approach to products of Pisot substitutions
(with V. Berthé, J. Bourdon, A. Siegel)
Ergodic Theory and Dynamical Systems 36 (2016), no. 6, 1757-1794 ,
arXiv:1401.0704
Proceedings of WORDS 2013, LNCS 8079, 58-70 (short version)
-
Rauzy fractals with countable fundamental group
(with B. Loridant, J. Luo)
Journal of Fractal Geometry 1 (2014), no. 4, 427-447,
MR,
arXiv:1312.7829
-
Critical connectedness of thin arithmetical discrete planes
(with V. Berthé, D. Jamet, X. Provençal)
Proceedings of DGCI 2013, LNCS 7749, 107-118 (short version),
arXiv:1312.7820
-
Consistency of multidimensional combinatorial substitutions
(with J. Kari)
Theoretical Computer Science 454 (2012), 178-188,
MR,
arXiv:1112.1841
Proceedings of CSR 2012, LNCS 7353, 205-216 (short version)
-
Substitutive Arnoux-Rauzy sequences have pure discrete spectrum
(with V. Berthé, A. Siegel)
Uniform Distribution Theory 7 (2012), no. 1, 173-197,
MR,
arXiv:1108.5574
-
Connectedness of the fractals associated with Arnoux-Rauzy substitutions
(with V. Berthé, A. Siegel)
RAIRO Theoretical Informatics and Applications 48 (2014), no. 3, 249-266,
MR,
arXiv:1101.1784
Theses
-
PhD thesis,
Combinatorics of Pisot substitutions,
supervised by Valérie Berthé and Jarkko Kari,
defended on 2013-11-25 in Paris, includes publications 1 to 7 above.
(manuscript, slides)
-
Master's thesis (en français),
Méthodes combinatoires pour l'engendrement de plans discrets,
février-juin 2010, sous la direction de Valérie Berthé et Anne Siegel.
(manuscript)
Co-authors
Nicolas Bédaride,
Valérie Berthé,
Jérémie Bourdon,
Arnaud Hilion,
Damien Jamet,
Jarkko Kari,
Benoît Loridant,
罗俊 (Jun Luo),
Xavier Provençal,
Anne Siegel.
Enseignement
2016-2017 (Univ Aix-Marseille):
-
Développement Web 2,
Cours, TP, L3, deuxième semestre
2015-2016 (Univ Paul Sabatier):
-
Math-Info 1,
TP, L1, premier semestre
-
Mathématiques expérimentales en Python,
Cours-TP, L1, premier semestre
2014-2015 (Univ Paul Sabatier):
-
Mathématiques expérimentales en Python,
Cours-TP, L1, premier semestre
2013-2014 (Univ Paris Diderot):
-
PF1 - Principes de fonctionnement des machines binaires,
cours-TD, L1, premier semestre
-
IK3 - Projet informatique,
TP, L2, premier semestre
2012-2013 (Univ Paris Diderot):
-
IO2 - Internet et outils,
TP, L1, deuxième semestre
-
OL3 - Outils logiques,
TD, L2, premier semestre
2011-2012 (Univ Paris Diderot):
-
IS1 - Introduction aux systèmes d'exploitation,
cours-TP, L1, premier semestre