Cosimo P. Brogi
PhD Student in Mathematical Logic

Cosimo Perini Brogi
Logic Group
Via Dodecaneso 35
Email: perinibrogi@X.Y.Z [where X=dima Y=unige Z=it] Member of The Proof Society 
My current work is under the joint supervision of Sara Negri and Pino Rosolini.
My interests range over the following topics:
 CurryHowardLambek Correspondence for Intuitionistic Belief, Studia Logica Volume 109 Issue 3, June 2021, DOI:10.1007/s11225021099523 (Open Access)
 A formal proof of modal completeness for provability logic (joint work with Marco Maggesi), LIPIcs, Volume 193, ITP 2021, DOI:10.4230/LIPIcs.ITP.2021.26 (Open Access)
 Universal Algebra in UniMath (joint work with Gianluca Amato and Marco Maggesi), submitted, arXiv preprint here
 L'enigma del compleanno, Archimede 3/2020 (a contribution on Dynamic Epistemic Logic for the Italian journal of mathematics for the large audience) Dec. 2020
 Analytic Proof Systems for Provability Logic, Logic Seminar, University of Genoa, Sept. 2020, slides
 Universal Algebra in UniMath, HoTT/UF 2020 Talk (July 7, 2020), video
 A CurryHoward Correspondence for Intuitionistic Belief, Poster Session at The Proof Society Summer School, Computational FoundrySwansea University, Sept. 2019
 An introduction to Normal Modal Logics, Logic Seminar, University of Genoa, Summer 2019
 Categorical Semantics for Intuitionistic Belief, Logic and Philosophy of Science Seminar, University of Florence, May 2019
 Kleisli Triples in Homotopy Type Theory, MA Dissertation, Code in UniMath Repository, Dec. 2017
 An Overview of Simple Type Theory, Final Year Report, Graduate Student Seminar 201617
My OpenPGP public RSA key has the following signature:
pub rsa4096 20201223 2B1299A9CD9A84C7731E67141C2521F9AE93455B uid Cosimo P. Brogi sub rsa4096 20201223
I obtained a MA degree in Logic & Philosophy of Science from University of Florence in 2018, with a dissertation on category theory in univalent type theory.
Previously, in 2015, I graduated in Philosophy from the same University, with a thesis on Solovay's arithmetical completeness theorem.
Previously, in 2015, I graduated in Philosophy from the same University, with a thesis on Solovay's arithmetical completeness theorem.
“The fundamental cause of the trouble is that in the modern world the stupid are cocksure while the intelligent are full of doubt. ”
— Bertrand Russell