Programmazione ad Oggetti (University of Calabria, 2011/2012, 2013/2014, 2014/2015, 2015/2016) [Link]

Enterprise Applications (University of Calabria, 2014/2015, 2015/2016) [Link]

Informatica per gli Umanisti (University of Genova, 2017/2018) [Link scheda corso] [Link aulaweb] [Generatore di esercizi]

Efficient ASP Techniques for Solving Hard Problems (University of Calabria, 2017/2018) [Material (zip)]

Languages and Solving Techniques for Knowledge Representation and Reasoning (University of Genova, 2017/2018) [Link Aulaweb]