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