Contact Details Research Interests More Info Publications Further Research Output Work In Progress GnuPG Key Varia

Cosimo Perini Brogi

PhD in Mathematics and Applications

Picture Credit: Arthur Rackham, 1907

Name: Cosimo
Surname: Perini Brogi

SySMA Unit
IMT School for Advanced Studies Lucca
Office 197/D
Piazza San Francesco 19
55100 Lucca
Tuscany, Italy

Email: cosimo.perinibrogi@X.Y [where X=imtlucca Y=it]

ORCID: 0000-0001-7883-5727

Member of The Proof Society

Member of EuroProofNet

Member of INdAM, GNSAGA

Research Interests

My current project is focused on formal methods for decentralised and self-organising systems.

My primary conceptual toolbox is based on structural proof theory and non-classical logics.

Over the years, I have worked with (classical and intuitionistic) modal logics, sequent calculi, natural deduction systems, functional programming languages and type systems, computerised mathematics, software verification.

I am also interested in mathematics in its broader cultural context, including the links between mathematics, literature and music.

More Info
I am a research collaborator (postdoc researcher) at the IMT School for Advanced Studies Lucca and a member of the SySMA Research Unit.
My position is funded by the PRIN 2017FTXR7S Project IT-Matters, and I work under the supervision of Rocco De Nicola.

Previously, I worked on mathematical modal logics and software verification at the University of Barcelona, supervised by Joost J. Joosten and supported by an "academic+industrial" grant.

On July 12, 2022, I successfully defended my PhD thesis at the Department of Mathematics of the University of Genoa

In 2018, I obtained a MA degree in Logic, Philosophy and History of Science from the University of Florence, with a dissertation on category theory in univalent type theory supervised by Marco Maggesi.
Previously, in 2015, I graduated in Philosophy from the same University with a thesis on Solovay's arithmetical completeness theorem supervised by Pierluigi Minari.

I have occasionally worked as a gardener and woodcutter.


Further Research Output

Work in Progress

Disclaimer : Some of the titles below are intentionally preposterous, except for the ones of those papers that are currently under review or ready for submission.

GnuPG Key

My GnuPG public RSA key for the "IMT" address has the following signature:

pub   rsa4096 2023-04-29
uid   Cosimo-PB (IMTK) 
sub   rsa4096 2023-04-29 


“Se si escludono istanti prodigiosi e singoli che il destino ci può donare, l'amare il proprio lavoro (che purtroppo è privilegio di pochi) costituisce la migliore approssimazione concreta alla felicità sulla terra: ma questa è una verità che non molti conoscono. ”

    — Primo Levi, La chiave a stella, 1978