I am interested in concurrency theory, semantics of programming languages, probabilistic processes, mathematical logic.

I am currently a postdoc in the Plume Team (LIP) at the Ecole Normale Supérieure de Lyon, France. Here, I have been working in the Repas project, with Matteo Mio, and in the Covece project, led by Damien Pous.

I have done my PhD studies in Computer Science at the University of Bologna, supervised by Davide Sangiorgi. In May 2017 I have successfully defended my PhD thesis, which is devoted to behavioral equivalences for higher-order languages with probabilities.  

From February to July 2016, I have joined the Comète research team at Inria Saclay/Ecole Polytechnique in Paris. I have worked on proof techniques for metrics on probabilistic processes, supervised by Catuscia Palamidessi.

In my Master Thesis I studied the discriminating power of higher-order process algebras, under the supervision of Giovanna Corsi and Davide Sangiorgi.