I am a PhD candidate at Politecnico di Milano (DEIB).
My advisor is professor Carlo Ghezzi.
I graduated with a degree in Computer Engineering at Politecnico di Milano in 2013.
My current research field is Syntactic-semantic approaches for incremental verification.
I am interested on improving the existing software verification techniques to efficiently re-validate subsequent version of a given program.