Luca Pulina

Professore ordinario
Gruppo scientifico disciplinare: 01/INFO-01
Settore ERC: PE6_7
e-mail: lpulina@uniss.it

Biografia
Luca Pulina è Professore Ordinario di Informatica presso il DUMAS dell’Università degli Studi di Sassari, dove coordina l’Artificial Intelligence and METhods Lab (AIMET Lab). Ha conseguito la laurea in Ingegneria Informatica e il dottorato di ricerca in Robotica presso l’Università di Genova. La sua attività scientifica si focalizza sull’Intelligenza Artificiale, in particolare sulla Knowledge Representation & Reasoning, sullo sviluppo di algoritmi per il ragionamento meccanizzato e sui metodi formali per la modellazione e la verifica di sistemi complessi. Guida attività di ricerca applicata all’Industria 4.0, al turismo, alle politiche per la governance territoriale e alla valorizzazione del patrimonio culturale e naturale. È autore di oltre cento pubblicazioni scientifiche su riviste e atti di conferenze internazionali e ha ricoperto incarichi in comitati di programma di eventi di rilievo come IJCAI, AAAI ed ECAI; nel 2020 ha presieduto la International Conference on Theory and Applications of Satisfiability Testing. È stato membro dello steering committee della SAT Association e del comitato editoriale del Journal on Satisfiability, Boolean Modeling and Computation. È stato responsabile scientifico di numerosi progetti regionali, nazionali ed europei. Maggiori informazioni sono disponibili al sito aimetlab.eu

Pubblicazioni 
 

Incarichi istituzionali
No.

Insegnamenti impartiti
 

Orario di ricevimento
DUMAS, Via Roma 151, Sassari. Palazzo Ciancilla II piano. Giovedì, h 12-13, previo appuntamento.