My name is Simone Atzeni. I was born and raised in Cagliari (Sardinia, Italy). 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).
For the old website please visit this link.