I am a PhD student at CNRS (France), working in the COATI research team, a joint project-team between the Inria centre at Université Côte d’Azur and the I3S laboratory, which belongs to the Université Côte d’Azur (UCA). My PhD is supervised by Frédéric Giroire and Emanuele Natale.

Background

I received my Bachelor’s degree in Computer Science from the Università degli studi dell’Insubria in Varese (Italy), and then my Master’s degree as a double degree between the Università degli studi dell’Insubria (Italy) and the Université Côte-d’Azur in Nice (France).

My main interests are machine learning, learning theory and the huge impact that AI will have in the coming years, both from a functional and environmental point of view. I am also passionate about web technologies and interested in formal verification methods.

Publications

• Emanuele Natale, Davide Ferre’, Giordano Giambartolomei, Frédéric Giroire, Frederik Mallmann-Trenn. On the Sparsity of the Strong Lottery Ticket Hypothesis. In 38th Annual Conference on Neural Information Processing Systems (NeurIPS 2024). ArXiv

• Tiago da Silva Barros, Davide Ferre’, Frederic Giroire, Ramon Aparicio-Pardo, Stephane Perennes. Scheduling Machine Learning Compressible Inference Tasks with Limited Energy Budget. In 53rd International Conference on Parallel Processing (ICPP 2024). ACM

• Cinzia Di Giusto, Davide Ferre’, Etienne Lozes, Nicolas Nisse. Weakly Synchronous Systems with Three Machines Are Turing Powerful. In 17th International Conference on Reachability Problems (RP 2023). ArXiv

• Cinzia Di Giusto, Davide Ferre’, Laetitia Laversa, Etienne Lozes. A Partial Order View of Message-Passing Communication Models. In 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). ACM.

• Cinzia Di Giusto, Davide Ferre’, Étienne Lozes, Nicolas Nisse. Les systèmes faiblement synchrones avec trois machines sont Turing-complets. In 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2024). HAL