Department of Mathematics and Computer Science, University of Calabria
Via P. Bucci, cubo 31 B (2° floor), 87036 Rende (CS), Italy
My research interests are in the area of Artificial Intelligence, Knowledge Representation and Reasoning, Answer Set Programming, Optimization problems, SAT and MaxSAT. I worked on several open-source and research tools.
Apr 2019 - Present, Cosenza, Italy
Apr 2022 - Present
Apr 2019 - Apr 2022
2005 - Dec 2016, Cosenza, Italy
Dec 2014 - Dec 2016
Nov 2011 - Jan 2015
2009 - 2011
2005 - 2008
A CDCL-based ASP solver that supports disjunction, aggregates, weak constraints.
A specification language based on python for logic programming.
A tool based on python and YAML to validate ASP programs.
An open-source ASP solver that is written in Java.
An open-source tool based on glucose for enumerating models of a CNF.
An open-source tool based on minisat for computing a minimal model of a CNF.
New position! Associate Professor, University of Calabria
Outstanding Student Paper Honorable Mention AAAI-22: Compilation of Aggregates in ASP Systems
Best application paper award ICLP 2021: An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
Best technical paper award ICLP 2019: Abstract Solvers for Computing Cautious Consequences of ASP programs
IJCAI 2019 Distinguished Program Committee member award
New position! Senior researcher, University of Calabria
New position! Junior researcher, University of Genoa
Best paper award ICLP 2016: Anytime answer set optimization via unsatisfiable core shrinking
Ph.D. in Mathematics and Computer Science
AI*IA Award "Best Italian thesis in Artificial Intelligence" for my master thesis
Master degree in Computer Science 110/110 cum laude and honorable mention
