Sara Riva

Maître de Conférences in Computer Sciences

CRIStAL - Université de Lille - Campus scientifique Bâtiment ESPRIT Avenue Henri Poincaré 59655 Villeneuve d'Ascq





My research interests are equations on Discrete Dynamical Systems, Cellular Automata, and Boolean Networks.


Italian, French, English

Current Position

Maître de Conférences in Computer Sciences
2023 - ...

Université de Lille

Member of the BioComputing reasearch group and member of the MSV thematic group, CRIStAL Laboratory (UMR 9189)


Postdoctoral Researcher
2022 - 2023

Université de Bordeaux

Research Subject: Boolean satisfiability problems and equivalence classes related to the dynamics of Most-Permissive Boolean Networks
Laboratory: LaBRI (Laboratoire Bordelais de Recherche en Informatique)

Ph.D. in Computer Science
2019 - 2022

Université Côte d'Azur and Università degli Studi di Milano-Bicocca
Co-supervised by Enrico Formenti and Alberto Dennunzio

Thesis Subject: Factorization of Discrete Dynamical Systems
Laboratory: I3S (team MDSC)

Master's Degree in "Recherche en Informatique Fondamentale (RIF)"
2018 - 2019

Université Côte d'Azur
Beneficiary of an Excellence Grant for Incoming Mobility from the Provence-Alpes-Côte d'Azur Region

Master's Degree in Computer Science
2017 - 2019

Università degli Studi di Milano-Bicocca

Bachelor's Degree in Computer Science
2014 - 2017

Università degli Studi di Milano-Bicocca


Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
International Conference on Computational Methods in Systems Biology (CMSB 2023)

Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé

An Algorithmic Pipeline for Solving Equations over Discrete Dynamical Systems Modelling Hypothesis on Real Phenomena
Journal of Computational Science

Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva

Algorithmic reconstruction of discrete dynamics

François Doré, Enrico Formenti, Antonio E Porreca, Sara Riva

Non-maximal sensitivity to synchronism in ECA: exact asymptotic measures.
Theoretical Computer Science

Balbi P.P., Formenti E., Perrot K., Riva S., Ruivo E.
extended version of AUTOMATA 2020

MDDs boost equation solving on discrete dynamical systems

Formenti E., Régin J-C., Riva S.
International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Solving equations on discrete dynamical systems (extended version)
CIBB 2019 - LNBI post-proceedings

Dennunzio A., Formenti E., Margara L., Montmirail V., Riva S.
Computational Intelligence Methods for Bioinformatics and Biostatistics.


Logique (Logic)
A.A. 2023-2024

18 hours - Laboratory Classes (Université de Lille)

Graphes (Graph theory)
A.A. 2023-2024

18 hours - Laboratory Classes (Université de Lille)

Technologie du Web (Web Technologies)
A.A. 2023 - 2024

18 hours - Laboratory Classes (Université de Lille)

Base de donnees (Databases)
A.A. 2023 - 2024

21 hours - Laboratory Classes (Université de Lille)

A.A. 2020 - 2021

42 hours - Laboratory Classes (Université Côte d'Azur)

Programmation et Conception orientee objet (Oject-oriented programming and conception)
A.A. 2021-2022

18 hours - Laboratory Classes (Université Côte d'Azur)

Bases de l'Informatique (Fundamentals of Computer Science)
A.A. 2021 - 2022

46 hours (Université Côte d'Azur)

A.A. 2020 - 2021

22 hours (Université Côte d'Azur)

Algo & Prog avec R
A.A. 2019 - 2020

60 hours - Laboratory Classes (Université Côte d'Azur)

Other academic activities

Member of the "École Jeunes Chercheurs et Chercheurs en Informatique Mathématique 2022" organization committee
A.A. 2022

Organisée à Nice du 7 au 11 juin 2022 dans le cadre du Groupe de recherche en Informatique Mathématique (GdR IM) du CNRS.

President of the ADSTIC association
A.A. 2021 - 2022

Association of PhD students in Information and Communication Sciences and Technologies in Sophia Antipolis.

Participation in the MT180 competition
A.A. 2021

MT180 seconds is an opportunity for PhD students to present their research topic, in French and in simple terms, to a non-expert and diverse audience. In three minutes, each student must give a clear, concise and convincing presentation of his or her research project.

Participation at the Spring School in Theoretical Computer Science 2021
A.A. 2021

Participation at the 2021 edition on quantum computing.

Participation at the EJCIM 2020 Summer School
A.A. 2020

School for Young Researchers in Computer Science and Mathematics.

Member and event organiser for the ADSTIC association
A.A. 2019 - 2021

Organisation of scientific seminars and social events.