353 Serra Mall
Stanford, California (USA) 94305
PhD in Information and Communication Technology, from University of Trento and Fondazione Bruno Kessler, under the supervision of Alessandro Cimatti. Currently, I am a postdoctoral researcher at the Stanford University, Computer Science Department. More details on my Curriculum Vitae.
Model Checking, SAT/SMT, Model-Based Safety Assessment, Formal Methods, and Formal Modeling
I love photography, and this is my Flickr profile!