Formal Verification Engineer
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.
Model Checking, SAT/SMT, Model-Based Safety Assessment, Formal Methods, and Formal Modeling
I love photography, and this is my Flickr profile!