Marcello M. Bersani

Marcello M. Bersani is an Associate Professor at the DeepSE Lab within the Department of Electronics, Information and Bioengineering at Politecnico di Milano. His research focuses on Formal Methods applied to robotic systems and Digital Twins, with a particular emphasis on temporal logics and decision procedures based on SAT/SMT techniques.