I am Ph.D. a Student of the XXXV Cycle within the SySMA research unit of IMT Lucca, under the supervision of prof. Mirco Tribastone and the co-supervision of prof. Luca Bortolussi (University of Trieste). My project involves the development and the study of algorithms to approximately efficiently stochastic systems, with particular attention to Markov Population Processes and their application to queueing networks and biological models.

I got my MSc in Mathematics at the University of Trieste, as holder of a SISSA fellowship for the joint curriculum. Before I had got my BSc in Mathematics at the University of Catania where I was a student at the Scuola Superiore di Catania.