CoursesÂ
2026: Natural Deduction and Intuitionistic Logic (12 h), Undergraduate course at Collegio Ghislieri, Pavia.
2026: An Introduction to Deontic Logic (8 h), PhD course for Hume PhD Programme.
2026: Advanced topics in Proof Theory (20 h), Scuola Normale Superiore di Pisa.
2025/2026: Logic and possible worlds (40 h), Scuola Normale Superiore di Pisa.