Valutazione dei titoli - Assegno cod. n. 1 - Settore SC 01/B1 - SSD INF/01 “Informatica” – Tematica di ricerca: “Problemi di decidibilità e complessità per frammenti insiemistici e applicazioni al ragionamento automatico”