Michelangelo Bussotti is a PhD student in Logic, working under the supervision of Prof. Piazza and Dr. Tesi. His primary research focuses on structural proof theory for non-classical logics, alongside broader interests in the philosophy of logic and mathematics. Prior to his doctoral studies, he completed his Master’s degrees in Logic, History, and Philosophy of Science at the University of Florence.