About me

I am a second year PhD candidate (XL cycle) in Theoretical Computer Science in the Brain, Mind and Computer Science program at the Mathematical Department of the University of Padova.
I work under the supervision of Prof. Paolo Baldan, together with Prof. Roberto Bruni and Prof. Francesco Ranzato. 

I am currently collaborating in the PRIN project “RAP - Resource Awareness in Programming: Algebra, Rewriting, and Analysis”.