• 1 May 2025 - I am co-organizing the 3rd summer school Logic for the AI Spring-eDefAI. Please contact me or take a look at the official website for applications and expressions of interest.

• 1 March 2025 – After three fulfilling years at the University of Verona—where I taught eight diverse modules, including Logic and Philosophy of Science, Computer Science and Multimedia, Computational Epistemology and Philosophy, and Big Data Epistemology, shouldering over 120 hours of teaching per year, all while also delivering research activity, I am now a post-doctoral researcher at the University of Salento, focusing on Logic, Explainability, Trust, and Ethical AI.

• February 2025 - I am proud to be a co-founder of gen.ia.

Research interests

I'm currently working on:

• Trustworthy and ethical AI (w/P. Baldi, G. Primiero)

• Probabilistic extensions of typed natural deduction systems (w/G. Primiero)

• Game Theory and Cognitive Science (w/C. Sinigaglia, M. Fanghella, CIALab)

• Extensions and applications of the Event Calculus (w/R. Miller, L. Dickens)

• Depth-bounded extensions of ASP system clingo (w/P. Baldi, M. D'Agostino)

• Applications of ILASP to explainable AI (w/A. Russo, M. Law, A. Bikakis)