Alessandro Rizzi
Post-doc Researcher

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.


Via Golgi, 42 - Ed. 22

Contact Information

02 2399 3687
alessandromaria.rizzi (at)