Si occupa di Intelligenza Artificiale, Reti Neurali e BioInformatica.

Si occupa di Information Retrieval, Principi e Paradigmi di Programmazione e Teoria dell’Informazione.

Si occupa di Ingegneria del Software, in particolare di Specifiche Software, di Verifica di Sistemi Software Concorrenti e Distribuiti e di Deduzione di Sistemi.

Si occupa di Algoritmi e complessità computazionale, Teoria dei giochi, Problemi di comunicazione nelle reti di interconnessione e Routing.