Formal Verification Engineer
I am a Formal Verification Engineer at Apple Inc. Previously, I was a postdoctoral researcher at Stanford University, Computer Science Department. I received my PhD in Information and Communication Technology, from University of Trento and Fondazione Bruno Kessler, under the supervision of 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!