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.

Si occupa di Progettazione e Analisi di Algoritmi, Algoritmi di Approssimazione, del Problema del Commesso Viaggiatore e di Database Spazio-Temporali.

Si occupa di Ingegneria del Software, Sistemi Distribuiti e Programmazione Orientata al Contesto.

Si occupa di Ingegneria del Software, Sistemi Distribuiti, Programmazione Orientata al Contesto e Metodi Formali.

Si occupa di Ingegneria del Software e Model Driven Engineering.

Si occupa di Intelligenza Artificiale: Agenti Software, Sistemi Multi-Agente, Intelligenza Artificiale e Automated Reasoning.

Si occupa di Metodi Formali per la Specifica e la Verifica di Sistemi Complessi, Teoria della Riscrittura di Termini, Strategie di Riscrittura e Theorem Proving.