Simone Atzeni Computer Science – Ph.D. Candidate at The University of Utah

About me

Simone Atzeni Profile Picture

Fort Collins, Colorado

My name is Simone Atzeni. I was born and raised in Cagliari (SardiniaItaly). I got my Bachelor’s Degree in Computer Science from the University of Cagliari (July 2007) and my Master’s Degree in Computer Science from the University of Rome “La Sapienza” (December 2009). I worked for Vitrociset S.p.A. from February 2010 to June 2013 as a software engineer. In Fall 2013 I moved in Salt Lake City (Utah, USA) where I am a Computer Science Ph.D. candidate at the School of Computing (University of Utah). I do research with the Formal Verification Group lead by Professor Ganesh Gopalakrishnan. My research interests are in dynamic software analysis applied to High Performance Computing (HPC).

A one page version of my resume can be downloaded here.
An extended version of my resume can be downloaded here.

For the old website please visit this link.