Avatar

Sara Riva

Ph.D. Student in Computer Science

I3S Laboratory - 06900 Sophia Antipolis

s.riva54@campus.unimib.it

riva@i3s.unice.fr

LinkedIn


About

I am a PhD student at I3S laboratory under the supervision of Enrico Formenti and Alberto Dennunzio. I am working on Discrete Dynamical Systems and Cellular Automata.

Languages

Italian

French

English



Education

Ph.D. Student in Computer Science
2019 - Current

Université Côte d'Azur and Università degli Studi di Milano-Bicocca

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


Publications

Non-maximal sensitivity to synchronism in ECA: exact asymptotic measures.
Theoretical Computer Science (under submission - minor revision)

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.


Solving equations on discrete dynamical systems (conference paper)
CIBB 2019

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


Ongoing Research

A Pipeline for Solving Equations over Discrete Dynamical Systems (journal)

A complete pipeline to solve equations on DDS to validate hypotheses on asymptotic behaviour and possible states of dynamics.


Transient behaviour of Discrete Dynamical Systems

Creation of an algorithm to solve the equations on the transient behaviour of DDS in the case of the hypothesis validation problem.


Teaching

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

18 hours - Laboratory Classes


Base de donnees (Databases)
A.A. 2020 - 2021

42 hours - Laboratory Classes


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

46 hours

A.A. 2020 - 2021

22 hours


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

60 hours - Laboratory Classes


Other academic activities

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

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.