About me

I am a postdoc researcher at the Department of Mathematics of the University of Padova under the supervision of prof. Paolo Baldan.

I earned my Master's degree in Computer Science in April 2016, at the same department, and then conducted my Ph.D. studies in the Computer Science curriculum of the Brain, Mind and Computer Science doctoral program under the Department of General Psychology of the same university, until October 2019.

Currently I am studying formal methods for the verification and the analysis of software systems, with a focus on languages and algorithms for the verification of reactive systems.

My Curriculum Vitae in english (not always up to date).