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)

First prize for PhD students in the Computer Science speciality of the STIC doctoral school.

---

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

Decomposition and factorisation of transients in Functional Graphs

Theoretical Computer Science

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

---

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

---

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

CPAIOR 2021

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

---

Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures

AUTOMATA 2020

Balbi P.P., Formenti E., Perrot K., Riva S., Ruivo E.

---

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.

---

Introduction à la Sécurité Informatique (Introduction to IT Security)

A.A. 2023-2024

18 hours - Laboratory Classes (Université de Lille)

---

Codage de l'information (Coding information)

A.A. 2023-2024

18 hours (Université de Lille)

---

Algorithmes et Programmation (Algorithms and Programming)

A.A. 2023-2024

36 hours - Laboratory Classes (Université de Lille)

---

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)

Member of the parity commission (Parité et égalité femmes-hommes) of the CRIStAL laboratory

A.A. 2024

---

Member of the Program Committee of AUTOMATA 2024

A.A. 2024

The 30th International Workshop on Cellular Automata and Discrete Complex Systems will take place between 22 July, 2024 and 24 July, 2024 at Durham University.

---

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.

---