Loading ...
Sono ricercatore a tempo determinato di tipo A presso il DISI, UniBO, dal marzo 2023, con un dottorato in Data Science and Computation e una laurea magistrale in Ingegneria Informatica. Da dicembre 2024, possiedo l’Abilitazione Scientifica Nazionale come Professore di I fascia nel settore ING-INF. In precedenza, sono stato assegnista di ricerca (2022–2023) e dottorando (2017–2021) nello stesso dipartimento. La mia ricerca si concentra su AI, programmazione logica, MAS, sistemi distribuiti e ingegneria del software, in particolare sul ragionamento simbolico, l’elaborazione sub-simbolica e la loro intersezione. Insegno questi temi ad UniBO e in contesti internazionali e su di essi ho co-autorato più di 70 pubblicazioni su riviste e in conferenze internazionali soggette a revisione paritaria. Servo attivamente come revisore e guest editor per le principali riviste e conferenze in ambito MAS ed AI. Inoltre, contribuisco a strumenti software open-source per la ricerca, tra cui solver logici (es. 2P-Kt) e toolkit per la programmazione di agenti BDI (es. JaKtA).
Vai al Curriculum