Cristian Mattarei, PhD

Stanford University
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.

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!