I am a postdoctoral researcher affiliated with the Artificial Intelligence and formal METhods Laboratory (AIMET Lab) at University of Sassari.

My research largely focuses on reliable & trustworthy AI, with special emphasis on safety of neural networks.

I obtained a PhD in Computer Science from University of Genoa with a thesis on verification and repair of machine learning models.