Leonardo Ceragioli

I am a postdoctoral researcher at the University of Milan. I obtained my PhD in philosophy at the Universities of Pisa and Florence, with a thesis on pluralism in proof-theoretic semantics. Then I worked on the PRIN project PUMa at the University of Rome Tor Vergata, investigating criteria for purity and simplicity of proofs. 

My main areas of expertise are proof-theory and proof-theoretic semantics for both classical and non-classical logics. I am also interested in the epistemology of logic, logical disagreement, and applications of logic to computer science.

I am currently working under the supervision of Prof. Primiero and my research activity regards probabilistic extensions of typed natural deduction for the evaluation of trustworthy copies of computational artifacts (digital twins). I have published in international journals such as Theoria, the Journal of Philosophical Logic, the Bulletin of the Section of Logic, and the Bulletin d’Analyse Phénoménologique.