Short Bio

I am associate professor at DeepSE lab in Dipartimento di Elettronica, Informazione e Bioingegneria of Politecnico di Milano.

My research is developed in the area of Formal Methods applied to robotic systems and Digital Twins. I have particular interest in the study of problems concerning temporal logics and decision procedures based on SAT/SMT techniques.