Fields of interest
-
Topological data analysis in evolutionary biology : persistent homology, spectral geometry, protein 3D structures, evolution, life history traits.
-
Categorification and formalisation of rewriting: algebraic coherence, Kleene algebras, single-set ω-categories.
-
Algebraic rewriting: higher-dimensional, modulo and linear rewriting.
-
Higher algebra: (strict) ω-categories, polygraphs and computads, operads, properads, PROPS.
-
Further
Recent preprints and publications
-
Faithful interpretation of protein structures through weighted persistent homology improves evolutionary distance estimation, (with Léa Bou Dagher, Céline Brochier-Armanet, and Dominique Madern), Molecular Biology and Evolution, in press, 2024.
-
Higher catoids, higher quantales and their correspondences, (with Cameron Calk, Damien Pous, and Georg Struth), submitted, 2023, arXiv:2307.09253.
-
Single-set cubical categories and their formalisation with a proof assistant, (with Tanguy Massacrier and Georg Struth), Journal of Automated Reasoning, Vol. 68, No. 20, 2024.
DOI, HAL, Extended version on arXiv
-
Persistent homology of partially ordered spaces, (with Cameron Calk and Eric Goubault), Journal of Applied and Computational Topology, Vol. 8, pp. 2247-2284, 2024.
DOI, HAL, arXiv
-
Persistent homology reveals strong phylogenetic signal in three-dimensional protein structures, (with Léa Bou Dagher, Céline Brochier-Armanet, and Dominique Madern), PNAS Nexus, Vol. 4, Issue 4, pgae 158, 2024.
DOI, HAL, data
Announcements
Lectures notes
Editorial
Member of
