Martin Delacourt
martin.delacourt[at]univ-orleans.fr
Généralités
J'ai soutenu ma thèse le 5 décembre 2011, après avoir effectué 3 années de recherche sous la direction conjointe de Bruno Durand et Victor Poupet dans l'équipe Escape (aujourd'hui au LIRMM) du LIF.
Mes recherches portent sur divers aspects dynamique ou calculatoires
des automates cellulaires (dynamique directionnelle, ensembles limites
associés à une mesure de probabilité, décidabilité de certains
problèmes...).
Je suis actuellement maître de conférences à l'université d'Orléans au LIFO.
Publications
- MFCS 2007, Ceský Krumlov (Czech republic)[pdf]
Real Time Language Recognition on 2D Cellular Automata: Dealing with Non-Convex Neighborhoods
Martin Delacourt et Victor Poupet.
Mathematical Foundations of Computer Science 2007, 32nd
International Symposium, MFCS 2007, Český Krumlov, Czech Republic,
August 26-31, 2007, Proceedings, pp. 298-309.
- Proceedings AUTOMATA 2007, Toronto (Canada)[pdf]
Emergent defects dynamics in two-dimensional cellular automata
Martin Delacourt et Marcus Pivato.
Journal of Cellular Automata, vol.4(#2), 2009, pp. 111-124.
- TCS[pdf]
Directional Dynamics along Arbitrary Curves in Cellular Automata
Martin Delacourt, Victor Poupet, Mathieu Sablik et Guillaume Theyssier.
Theoretical Computer Science, vol. 412(#30), 2011, pp. 3800-3821.
- JAC 2010, Turku (Finland)[pdf]
Construction of mu-Limit Sets
Laurent Boyer, Martin Delacourt et Mathieu Sablik.
Proceedings of JAC 2010, 2010, pp. 76-87.
- ICALP 2011, Zurich (Switzerland)[pdf]
Rice's Theorem for mu-Limit sets of Cellular Automata
Martin Delacourt.
ICALP(2), Lecture Notes in Computer Sciences, vol. 6756, pp. 89-100, Springer, 2011.
- MFCS 2012, Bratislava (Slovakia)[pdf]
Finite state transducers for modular Moebius number systems
Martin Delacourt, Petr Kůrka.
Lecture Notes in Computer Sciences, vol. 7464, pp. 323-334, Springer, 2012.
- ARITH-21 2013, Austin (USA)[pdf]
The unary arithmetical algorithm in bimodular number systems
Martin Delacourt, Petr Kůrka.
IEEE 21st Symposium on Computer Arithmetic, pp.127-134, IEEE computer society, 2013.
- JCSS[pdf]
Mu-limit sets of cellular automata from a computational complexity perspective.
Laurent Boyer, Martin Delacourt, Victor Poupet, Mathieu Sablik, Guillaume Theyssier.
Journal of Computer and System Sciences, vol. 81, issue 8, pp. 1623-1647, 2015.
- STACS 2015, Munich[pdf]
Construction of mu-Limit Sets of Two-Dimensional Cellular Automata.
Martin Delacourt, Benjamin Hellouin de Ménibus.
Proceedings of STACS 2015, LIPIcs, vol. 30, pp. 262-274.
- TOCS[pdf]
Characterisation of limit measures of higher-dimensional cellular automata.
Martin Delacourt, Benjamin Hellouin de Ménibus.
Theory Of Computing Systems, 2017.
- CiE 2017, Turku[pdf]
Permutive one-way cellular automata and the finiteness problem for automaton groups
Martin Delacourt, Nicolas Ollinger.
Proceedings of CiE 2017, Unveiling Dynamics and Complexity, LNCS, vol. 10307, pp. 234-245, 2017, Springer.
- AUTOMATA WAN 2021, Marseille[pdf]
Rice's theorem for generic limit sets of cellular automata
Martin Delacourt.
Proceedings of Automata 2021, OASIcs, vol. 90, pp. 6:1--6:12, 2021.
Thèse
Automates cellulaires : dynamique directionnelle et asymptotique typique [pdf]
Jury :
- Enrico Formenti, université de Nice Sophia Antipolis (Président)
- Anahí Gajardo, universidad de Concepción (Relectrice)
- Véronique Terrier, université de Caen (Relectrice)
- Karl Schlechta, université de Provence (Examinateur)
- Bruno Durand, université de Montpellier 2 (Directeur)
- Victor Poupet, université de Provence (Directeur)
Enseignement
Depuis 2018/2019, je suis responsable de l'année de M1 MIAGE en alternance avec Yohan Boichut pour la formation initiale.
2021/2022
- CMs, TDs et TPs du cours de réseaux (L3).
- TDs et TPs du cours de Représentation et Codage de l'Information de Pierre Réty (L1)
- TDs et TPs du cours d'Analyse des Algorithmes de Mathieu Liedloff (L3).
- CMs du cours de Calculabilité et Complexité (M1).
- TDs et TPs du cours de Systèmes d'Exploitation de Wadoud Bousdira (M1).
- TDs et TPs du cours d'Architecture des Ordinateurs de Frédéric Dabrowski (L1).
- 2h de CM en initiation à la recherche (M2).
- TDs du cours de Systèmes et Répartition de Jean-Michel Couvreur (M1 MIAGE).
- Suivi d'alternants (M2 MIAGE).
2020/2021
- CMs, TDs et TPs du cours de réseaux (L3).
- TDs et TPs du cours de Représentation et Codage de l'Information de Pierre Réty (L1)
- TDs et TPs du cours d'Analyse des Algorithmes de Mathieu Liedloff (L3).
- CMs du cours de Calculabilité et Complexité (M1).
- TDs et TPs du cours de Systèmes d'Exploitation de Wadoud Bousdira (M1).
- TDs et TPs du cours d'Architecture des Ordinateurs de Frédéric Dabrowski (L1).
- 2h de CM en initiation à la recherche (M2).
- Suivi d'alternants (M2 MIAGE).
2019/2020
- CMs, TDs et TPs du cours de réseaux (L3).
- TDs et TPs du cours de Représentation et Codage de l'Information de Pierre Réty (L1)
- TDs et TPs du cours d'Analyse des Algorithmes de Mathieu Liedloff (L3).
- CMs du cours de Calculabilité et Complexité (M1).
- TDs et TPs du cours de Systèmes d'Exploitation de Wadoud Bousdira (M1).
- TDs du cours d'Algorithmique et Programmation de Frédéric Dabrowski (L1).
- Suivi d'alternants (M2 MIAGE).
2018/2019
- CMs, TDs et TPs du cours de réseaux (L3).
- TDs et TPs du cours de Représentation et Codage de l'Information de Nicolas Ollinger (L1)
- TDs et TPs du cours d'Analyse des Algorithmes de Mathieu Liedloff (L3).
- CMs du cours de Calculabilité et Complexité (M1).
- Suivi d'alternants (M2 MIAGE).
2017/2018
- CMs, TDs et TPs du cours de réseaux (L3).
- CMs, TDs et TPs du cours de réseaux, protocoles et mobilité (M1).
- TDs du cours d'Analyse des Algorithmes de Mathieu Liedloff (L3).
- CMs du cours de Calculabilité et Complexité (M1).
- 2h de CM en initiation à la recherche (M2).
- Suivi d'alternants (M2 MIAGE).
2016/2017
- TDs et TPs du cours de réseaux de Nicolas Ollinger(L3).
- TDs du cours de Conception et Analyse des Algorithmes de Mathieu Liedloff(L3).
- TPs de Conception et développpement d'une application (L1).
- Encadrement de stages de L3.
- TDs et TPs des cours de Bases de Données de Jean-Michel Couvreur et Thomas Pinsard (M1 Gestion).
- TDs et TPs du cours de Management des Systèmes d'Information de Sylvie Billot (L3 Gestion).
- TDs et TPs d'Informatique Appliquée à la Gestion (L2 Gestion).
2015/2016
- TDs du cours de TRAD (compilation) de Suzanne Collin (2A).
- TDs et TPs du cours de Principes Fondamentaux des Systèmes Informatiques d'Alexandre Parodi (1A).
- TDs et TPs du cours de Tools fOr Programming de Sébastien Da Silva (1A).
- TDs et TPs du cours de Gestion de Production de Phuc Do Van (2A).
- Cours/TDs de Mathématiques Appliquées à l'Informatique (1A).
- TDs et TPs du cours de Modélisation des Systèmes à Évènements Discrets de Zahra Rondeau et Pascale Marangé (1A).
2011/2012
2010/2011
2009/2010
2008/2009
Passé
- Élève à l'ENS Lyon, j'y ai obtenu ma Licence (2006) puis mon Master (2008).
- Doctorant-moniteur au LIF Marseille.
- Post-doctorant au CMM, Santiago, Chili.
- ATER au LORIA, Nancy.
- ATER au LIFO, Orléans.