I am a postdoc researcher in Computer Science with a background in Mathematics.  I mainly work with probabilistic models in the form of probabilistic programs (analysis, inference, synthesis, differentiation, etc.) and Markov Population Models.

Since September 2025 I am the holder of a MSCA Post-doctoral fellowship for the project EMBEr.

Short Bio

I am currently a Postdoc Researcher at TU Wien. 

Previously, I was a Postdoc Researcher at the University of Trieste, where I was also holder of a scholarship for the project "Program synthesis and automatic differentiation for probabilistic programs" (scientific supervisor: prof. Luca Bortolussi).

I have received my Ph.D. in Computer Science and Systems Engineering at IMT School for Advanced Studies Lucca, with a thesis titled "Efficient and accurate analysis of of two classes of generative models", written under the supervision of prof. Mirco Tribastone (IMT Lucca) and prof. Luca Bortolussi (University of Trieste). The thesis was recognized as Best Italian Ph.D. Thesis in Theoretical Computer Science by the Italian Chapter of EATCS. 

During my Ph.D. I visited for three months the MOVES group at RWTH Aachen, under the supervision of prof. Joost-Pieter Katoen (RWTH Aachen).

Before my Ph.D., I got my MSc. in Mathematics at University of Trieste, where I was the holder of a scholarship from SISSA. I got my BSc. in Mathematics at University of Catania where I was a student at Scuola Superiore di Catania.

Research Interests

I am interested in studying efficient ways of performing inference on probabilistic programs involving continuous distributions. In 2023 in the paper "Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures", we presented a method based on Gaussian Mixtures and moment-matching. The SOGA tool, implements a particular instance of this method. I am currently working on extending this work and testing its applications. In particular I am interested in applications to synthesis and automatic differentiation of probabilistic programs.

Previously during my Ph.D. I worked on a new approximation method for Markov Population Processes, that refines classical mean-field techniques even for systems exhibiting non-differentiable drifts and oscillatory behaviours. The reference paper was published in SIGMETRICS in 2021.

I also have ongoing or past collaborations concerning privacy risk evaluation using probabilistic programming, extension of weakest pre-expectation semantics to programs with continuous distributions and interpretable AI models.

See my list of publications here.

Teaching and Tutoring

In the academic year 2024/2025 I have been tutor for the course "Algoritmi and strutture dati" from the Bs.C. in Ingegneria Elettronica and Informatica at University of Trieste, taught by prof. Luca Bortolussi.

Other interests

Besides research I am keen on science communication!

In 2020 I was one of the finalist of the FameLab Italy competition. Moreover, I was a speaker coach for TEDxCataniaWomen and TEDxCataniaSalon. I have written for different online blogs and magazines (see, for example OpenIMT, Treccani, Antropia, Meer) and I was part of the project La Sagra della Scienza.