Recherche
Je suis en thèse dans l'équipe Mocqua du Loria (Nancy), encadré par Emmanuel Jeandel et Léo Gayral.
Ma thèse s'intitule Approche Graphique de la Dynamique Symbolique.
Centres d'intérêts : la dynamique symbolique et les pavages, les langages graphiques, le calcul quantique, les P systèmes et le membrane computing, et les modèles de calcul en général.
Publications
Symport/Antiport P Systems with Membrane Separation Characterize P^(#P),
Avec Claudio Zandron,
UCNC 2025, DOI, arXiv:2507.01657.
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words,
Avec Titouan Carette, Marc de Visme, Victor Lutfalla et Etienne Moutot,
Preprint, arXiv:2502.06450.
Présentations
Enseignement
2025-2026
- Recherche Opérationnelle (Mines de Nancy). Page Arche du cours.
- Programmation et structures de données (Mines de Nancy). Page du cours.
- Services réseau (IUT Nancy-Charlemagne)
Cours d'introduction à la calculabilité et à la complexité
En quatre parties, donné aux membres de l'équipe Phiqus au printemps 2024 (supports à venir).
Précédemment...
Je suis un ancien élève de l'ENS Paris-Saclay (licence et master d'informatique + ARTeQ, année de formation en technologies quantiques).
Stages de recherche
- Approche graphique du groupe plein topologique,
encadrant : Emmanuel Jeandel, Loria, 2025 (rapport).
- Développement d'un formalisme tensoriel pour la dynamique symbolique,
encadrant : Titouan Carette, LIX, 2024 (poster).
- Caractérisation de classes de complexités de symport/antiport P systèmes,
encadrant : Claudio Zandron, Università di Milano-Bicocca, 2023 (rapport, soutenance).
- Étude de la c-jointure,
encadrants : Enrico Formenti et Sandrine Julia, Université Côte d'Azur, 2022 (rapport, soutenance).
Vulgarisation
Deux stages ont fait l'objet d'une présentation au Congrès Junior Pluridisciplinaire de l'Université Paris-Saclay.
Par mail : vivien [point] ducros [at] loria.fr
Linkedin : vivien-ducros