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

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

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:


Further Research Output

OpenPGP Key

My OpenPGP public RSA key has the following signature:

pub   rsa4096 2020-12-23
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