Home

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. In January 2014 I obtained the habilitation to Associate Professor in the class "Computer Science" (Italian classification 01/B1). 
 
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, Formal Verification and Knowledge Representation. I serve(d) as reviewer for the scientific journals IEEE Transactions on Pattern Analysis and Machine Intelligence, AI Communications, Fundamenta Informaticae, and Annals of Mathematics and Artificial Intelligence. 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.


Contact informations:
POLCOMING, Università degli Studi di Sassari
Viale Mancini 5, Sassari
E-mail: lpulina@uniss.it
WWW: sites.google.com/site/lpulina



Ċ
Luca Pulina,
Dec 11, 2015, 1:23 AM