Cristian Mattarei, PhD

Stanford University
Computer Science Department
Stanford, California (USA) 94305


I am 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.

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!