Since March 2011, I am Assistant Professor at University of Sassari, affiliated with POLCOMING. From January 2009 to February 2011 I have been Research Associate at the University of Genoa in Prof. Tacchella's group. I received the "Laurea" (M.Sc equivalent) in Computer Engineering and the Ph.D. degree from the University of Genoa in June 2005 and April 2009, respectively.
I am interested in Artificial Intelligence in general. In particular, my research activity ranges over several topics related to the fields of Automated Reasoning, Machine Learning, Computer Vision, Formal Verification and Knowledge Representation. I serve(d) as reviewer for the scientific journals IEEE Transactions on Pattern Analysis and Machine Intelligence, Pattern Recognition Letters, Annals of Mathematics and Artificial Intelligence and Image and Vision Computing. I was PC member of AAAI, BTAS, RCRA, CILC and reviewer of conferences such as KR, CP, SAT, ICB, ICRA, IROS. I have (co-)organized the QBF competitions in the period 2006-2010.
I have (co)authored more than 50 publications including journals, conference papers, and workshop papers. The pubblication venues include the Journal of the Theory and Practice of Logic Programming, the Constraints Journal, the AI Communication Journal, the Fundamenta Informaticae Journal, the Annals of Mathematics and Artificial Intelligence, IJCAI, AAAI, CAV, CP, ICLP, RR, ICRA, ICB, JELIA, SAT, FROCOS and more.