Bio

I am a Formal Verification Engineer at Apple Inc. Previously, I was a postdoctoral researcher at Stanford University, working with Prof. Clark Barrett in the Computer Science Department. I received my PhD in Information and Communication Technology, from University of Trento and Fondazione Bruno Kessler, under the supervision of Prof. Alessandro Cimatti. More details on my Curriculum Vitae.

Research Interests

Model Checking, SAT/SMT, Model-Based Safety Assessment, Formal Methods, and Formal Modeling

Non in pane solo vivet homo...

I love photography, and this is my Flickr profile!