Simone   Atzeni

                    
Address:
Room 3167 - MEB (Building 064)
School of Computing
50 S. Central Campus Dr. Rm 3190 (Map)
Salt Lake City, UT   84112
Phone:
(801)581-5618
Fax:
(+39)1786009282
Mobile US:
(801)979-3169
 IT:
(+39)3481452088
E-Mail:
simone@cs.utah.edu
CV:
PDF Format

About me:
  • 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.

Projects:

Links:

Last Modified: 01/12/2010 N° Visite: 1844