Contact Details Research Interests Publications Further Research Output OpenPGP Key Some Links About Me

Cosimo P. Brogi

PhD Student in Mathematical Logic


M94 Starbust from Hubble Telescope
Photo Credit: Hubble Space Telescope

Cosimo Perini Brogi

Logic Group
DiMa - Department of Mathematics
University of Genoa

Via Dodecaneso 35
Genoa 16146
Italy

E-mail: perinibrogi@X.Y.Z [where X=dima Y=unige Z=it]
[OpenPGP]

Member of The Proof Society





Research Interests

My current work is under the joint supervision of Sara Negri and Pino Rosolini.

My interests range over the following topics:


Publications

Further Research Output

OpenPGP Key

My OpenPGP public RSA key has the following signature:

pub   rsa4096 2020-12-23
      2B1299A9CD9A84C7731E67141C2521F9AE93455B
uid   Cosimo P. Brogi
sub   rsa4096 2020-12-23


Some Links
            

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.




“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