Affiliated with the ICAR-CNR Institute of the Italian National Research Council
Clich here to read a short curriculum vitae, or here for further information (in Italian)
Research Interests
Database Theory
Constraint Satisfaction
Structural decomposition methods for conjunctive queries and CSPs.
Please, see the Hypertree Decompositions Home Page, with tools for computing and drawing decompositions and links to papers on this subject.
Computational Complexity
Knowledge Representation and Nonmonotonic Reasoning
Please, have a look to our disjunctive Datalog system DLV
N.B. Per i corsi della Facoltà di Ingegneria, Nuovo Ordinamento, ho inserito i link diretti al corso sul portale icampus.
Occorre accedere ad icampus con la propria login prima di cliccare sul link del corso.
Meeting Students
By appointment, and
each Wednesday, from 10:30 to 13:30
Technology Transfer
Co-Founder of two spin-offs of the University of Calabria:
