ELECTRON joint team between INRIA UniCA and KCL (2025-2027) Team leader of the ELECTRON INRIA joint team with King's College London.
BioSwarm Project - DGA (November 2023 – 2027) Principal investigator of a 4-year national research project on algorithms for coordination tasks in drone swarms, funded by the DGA (the French Government Defence procurement and technology agency).
Maria Sofia Bucarelli, Post-doc (3IA), 2026 — 2027.
Hamidou Diallo, Research Engineer (INSA Lyon, with Olivier Simonin), 2025 — 2027.
Damien Rivet, Post-doc (INRIA UCA), 2022 — 2023.
Paulo Bruno Serafim, Research Engineer (INRIA UCA), 2022.
Emilio Cruciani, Post-doc (I3S), 2019 — 2020.
Matteo Stromieri (UCA), 2025 — 2028 (expected).
Carlo Castoldi (UCA), 2025 — 2028 (expected).
Aakash Kumar (UCA), 2025 — 2028 (expected).
Pierre Pereira (UCA), 2024 — 2027 (expected).
Niccolò D'Archivio (UCA), 2024 — 2027 (expected).
Davide Ferre (UCA), 2024 — 2026 (expected).
Arthur Carvalho Walraven Da Cunha (UCA), 2020 — 2023.
Francesco D'Amore (UCA), 2019 — 2022.
Emilio Cruciani (Gran Sasso Science Institute), 2016 — 2019.
My original motivation has been to understand intelligence as an emergent phenomenon: how networks of very simple units, such as neurons or agents, can give rise to computation, coordination, and adaptive behavior. This is what first led me to distributed computing and multi-agent systems, where one can ask precise mathematical questions about what a population can compute under severe local constraints. My work in computational neuroscience and machine learning approaches the same question from other sides. Across these areas, I study how local interactions, randomness, memory, communication, and structure shape the emergence of intelligent behavior.
Since 2019, a central part of my work has been the mathematical theory of neural network sparsification. In the line of work around the Lottery Ticket and Strong Lottery Ticket hypotheses, I have studied when large random networks contain subnetworks that approximate trained or target networks, including convolutional architectures and structured winning tickets (LTH22, SLTH23, RSS23). More recently, I have been investigating the sharp limits of this phenomenon: how sparsity scales in strong lottery tickets (SSLT24), what changes under finite precision and quantization (QuantPrune26), and why structured neuron pruning can be exponentially less expressive than unstructured weight pruning (NeuronPrune26).
I have also worked on algorithmic machine learning beyond pruning. This includes graph neural networks for scalable betweenness ranking on difficult network families (BRAVA26), transformer-based neural solvers for the Euclidean Traveling Salesman Problem using positional encodings (TSPPosEnc26), communication-efficient federated learning (FedLSF25, GENE25), GPU implementations of FlyHash (CAID23), hidden learning and information leakage in neural networks (HID23), and scheduling models for neural inference with fully compressible tasks (SCHED24). From 2021 to 2024, I also contributed to scientific computing tools for integrated assessment modeling in Julia, including the WorldDynamics.jl package and sensitivity analysis of the Earth for All model (JOSS24, JIE24).
Since 2017, I have been interested in theoretical and computational neuroscience, starting with my fellowship in the Brain and Computation Program of the Simons Institute for the Theory of Computing. A recurring goal has been to bring algorithmic and network-science tools to questions about how nervous systems are organized and how they compute. On brain data, I have worked on network-alignment methods for comparing structural connectomes across brain atlases (BrainAlign21), temporal null models for small-world structure in fMRI dynamics (Hyper24), and Shapley-value methods for identifying functional-connectivity subnetworks that contribute to narrative classification (ShapFMRI25). On the theory side, I have worked on the Assembly Calculus as a model of high-level cognition emerging from Hebbian-style neural and synaptic dynamics (AC22).
My original research program is in computational dynamics: simple randomized protocols by which a population of small agents solves global coordination tasks (CompDyn17, SurvDyn20). The central question is not only whether these dynamics eventually compute, but how fast, robustly, and with how little memory or communication they do so. I have studied consensus, plurality consensus, and rumor spreading under constraints such as noise, adversarial perturbations, many opinions, self-stabilization, and tiny messages (StabCons16, UndDyn15, SimpleDyn17, NoisCons19, NoisyUnd20, NoisyPull26, DejaVu26, ConsBroad20, MinMsg19). A complementary line of work analyzes how the same simple dynamics can perform distributed clustering or expose network structure, including dynamic stochastic block models, metastability of the 2-Choices dynamics, and community-detection protocols based on local averaging or label propagation (DistCom15, MetaStab19, PPComDet18, FYPComDet20, PhaseTrans18).
This perspective also connects to biological distributed algorithms. I have studied limits on reliable information flow in noisy populations (InfoFlow18), models of noisy collective decision-making (Swarm22), collective dynamics inspired by Physarum's ability to estimate electrical flows (DistFlow18), and search by parallel Lévy walks (Levy22, Levy3D26). More broadly, I have worked on population protocols for order statistics (OrderStats26), stochastic load balancing and balls-into-bins processes (RepBins19, ParLoad20), dynamic expander extraction and rumor spreading under churn (DistSparse20, RAES26), fast approximation algorithms for betweenness centrality (Kadabra19), and the complexity of combinatorial games and puzzles (Candy14, PegS16, CoG).
You can find some of my code on my Github page.
Here's my Mathematics Genealogy Project page. My Erdős number is 3, thanks to Giorgio Gambosi.