๐Notes Period of activities (๐ September 2011 - April 2012) done at ๐ซPSUโ ๐บ๐ธunder the supervision of ๐จโ๐ซProf. Suresh Singh within the ๐Collaboration Project Italy ๐ฎ๐น- USA โ ๐บ๐ธFINE2
๐ Master Degree Computer Engineering
๐110/110 Cum Laude ๐ 2005 - 11st February 2009 ๐ซUniGeโ ๐ฎ๐น
๐Thesis Advanced Techniques for Propositional Satisfiability