Simone   Atzeni

Room 3167 - MEB (Building 064)
School of Computing
50 S. Central Campus Dr. Rm 3190 (Map)
Salt Lake City, UT   84112
Mobile US:
+1 (801) 696-8373
(+39) 3481452088
+1 (801) 581-5618
(+39) 1786009282
PDF Format

About me:
  • From August 2013, I'm a PhD student at the School of Computing (University of Utah) as a Research Assistant in the Formal Verification Group leaded by Professor Ganesh Gopalakrishnan.
  • From February 2010 to June 2013 I worked as a Software Developer at Vitrociset S.pA. in VIllaputzu (CA) - Italy.
  • In December 15th, 2009 I received the M.S. degree in Computer Science (field Formal Verification) from University of Rome "La Sapienza".
  • From March 9th to August 9th, 2009 I was a Visiting Student at School of Computing (University of Utah). I worked with the Formal Verification Research Group led by Professor Ganesh Gopalakrishnan and typed my thesis about Formal Verification of Parallel Computing.
  • In July 19th, 2007 I received the B.S. degree in Computer Science from the University of Cagliari.



Last Update: 01/14/2014 N° Visite: 96740