Cosimo Perini Brogi

PhD in Mathematics and Applications

Contact details

CatArthur Rackham, Advice from a Caterpillar, 1907
(Public domain) Name: Cosimo
Surname: Perini Brogi
SySMA Unit
IMT School for Advanced Studies Lucca
Office 10 in Refettorio Hall
Piazza San Francesco 19
55100 Lucca
Tuscany, Italy

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

My GnuPG public RSA key has the following signature: 

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

Research interests

My scientific interests stay at the intersection of computer science, mathematics, and philosophy.

Currently, I work as an assistant professor (RTDa) in theoretical computer science within the 2022CY2J5S NextGenerationEU project "Securing softWare frOm first PrincipleS" (SERICS-SWOPS) led by Gabriele Costa.

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

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

More info

My previous post-doc position at IMT Lucca was funded by the PRIN 2017FTXR7S Project IT-Matters, and I worked on formal methods for decentralised and self-organising systems under the supervision of Rocco De Nicola.

Before that, between 2022 and 2023, 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.

In July 2022, at the Department of Mathematics of the University of Genoa, I successfully defended my PhD thesis in Mathematics and Applications Full Text and Slides for the Viva under the supervision of Sara Negri and Pino Rosolini, in front of the examination committee composed of Martin Hyland (King's College, Cambridge), Eugenio Orlandelli (Alma Mater Bologna), and Daniele Porello (University of Genoa).

I have occasionally worked as a gardener and woodcutter.

Publications

ORCID Account

DBLP Profile

Further research output

Humanistic Maths & Outreach

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.

Varia

I am a member of the EuroProofNet EC-COST Action (CA20111), The Proof Society, the IMT Extended MInD Group, the International Research Network Logic and Interaction, the Italian Chapter of the European Association for Theoretical Computer Science, the CLAI Lab for Computational Logic and Artificial Intelligence, the Association for Automated Reasoning, the GRIN - Italian Society for Informatics, the Association Computability in Europe, the European Mathematical Society, the Association for Symbolic Logic, the Institute of Electrical and Electronics Engineers, the Association for Computing Machinery.

         
           

About this site

This website is based on a slightly modified version of Tufte CSS, integrated with Material Design Icons.

None of its contents has been machine generated.

Last update: March 2026

«Atque ea ni mirum quae cumque Acherunte profundo prodita sunt esse, in vita sunt omnia nobis.»

Contents