Greta Coraglia joins the team BRIO

Greta Coraglia joins the project BRIO as a postdoc at the Philosophy Department of the University of Milan.

She graduated at the Università Statale di Milano and is about to obtain her PhD in Mathematics at the Università degli Studi di Genova. She is interested in logic, category theory, and theoretical computer science, with a focus on using categorical tools to describe diagrammatic aspects of various deductive systems.

Her interests also include logical foundations, categorical semantics, mathematical logic, deductive systems, and type theory.

Leave a Reply

Your email address will not be published. Required fields are marked *