معرفی
Duccio Pianigiani serves as a University Researcher in the Department of Information Engineering and Mathematical Sciences at the University of Siena. He teaches the Master's Degree course "Formal Systems" for the 2025/2026 academic year and has instructed this course continuously since 2020/2021. His office hours are held Thursdays 11:00-13:00 in room 215 (subject to change), with appointments recommended via email or phone due to scheduling constraints.
His research centers on Mathematical Logic with specialized expertise in Proof Theory and Computational Complexity. Key contributions include foundational work on dialectical systems, weak arithmetical theories, and the empirical dimensions of metamathematics. His methodology bridges theoretical computer science and mathematical philosophy, particularly through collaborations with Andrea Sorbi and Luca San Mauro on trial-and-error mathematics frameworks.
Analysis of his 2016-2021 publications reveals consistent focus on mathematical logic's structural aspects. His work demonstrates progressive exploration of dialectical systems' computational properties, density phenomena in weak theories, and philosophical implications of metamathematical practice. These studies predominantly appear in high-impact venues like the Archive for Mathematical Logic and Review of Symbolic Logic, establishing his niche in computational foundations.
While no student advisement or grant activities are documented, Dr. Pianigiani maintains active scholarly engagement through his forthcoming book "Lectures in Proof-Theory and Complexity" (USiena Press FU) and comprehensive course materials including video lectures, notes, and slides accessible via Moodle. His pedagogical approach emphasizes resource accessibility for graduate mathematics education.
