Greta Coraglia

I am a postdoc with LUCI Lab at the University of Milan, working on the BRIO project. I am a member of the Scientific Committee of the ItaCa community.

I was previously a PhD student in the Mathematics Department at the University of Genova, working under the supervision of Pino Rosolini together with the rest of the logic group there.

I am interested in logic, category theory, and theoretical computer science. Currently, I am trying to use all of this for better AI practices and AI literacy.

Lately I did something crazy and with some people we founded MIRAI.

Research

• Semantics for trust in probabilistic and opaque systems (j/w Francesco A. Genco and Giuseppe Primiero), in progress

• Evaluating AI fairness in credit scoring with the BRIO tool (j/w Genco, Piantadosi, Bagli, Giuffrida, Posillipo, Primiero), arXiv:2406.03292, May 2024

• A bias detecting tool (j/w D’Asaro, Genco, Giannuzzi, Posillipo, Primiero, Quaggio), Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming, published v., January 2024

• Categorical models of subtyping (j/w Jacopo Emmenegger), LIPIcs Proceedings of TYPES 2023, published v., December 2023
  • TYPES 2023, Categorical models of subtyping, 15 June 2023 (recording)
• Fibrations of algebras (j/w Davide Castelnovo, Fosco Loregian, Ülo Reimaa), submitted for publication, arXiv:2408.16581
  • recording of a talk Fosco gave at the beginning of the project
  • my talk at HoTTEST, 14 March 2024 (slides, recording)
• Fuzzy type theory for opinion dynamics (Adjoint School project tutored by Paige North), ongoing
  • ItaCa Workshop, A fuzzy theory of types, Pisa, 21 December 2022 (slides)
• A 2-dimensional analysis of context comprehension (j/w Jacopo Emmenegger), TAC, published v., October 2024
  • HoTT/UF Workshop, A 2-dimensional analysis of comprehension, 22 April 2023 (slides)
  • ItaCa Fest, Comonads for dependent types, online, 19 May 2022 (slides, recording)
• Context, judgement, deduction (j/w Ivan Di Liberti), arXiv:2111.09438, November 2021
  • TallCat, Coding deductive systems into a 2-category, Tallinn, 5 May 2022 - courtesy of the CSM group
  • Logic and higher structures, A 2-categorical representation of deduction, CIRM Marseille, 21 February 2022 (slides)
  • ItaCa Workshop, Context, judgement, deduction, Genova, 20 December 2021 (recording)
• A categorical perspective on Heyting-valued sets, Master’s thesis, awarded AILA’s Best Thesis in Logic prize, July 2019

Miscellaneous

• Dalle macchine alle persone: viaggio nel mondo dell’intelligenza artificiale (j/w I. Masnari, D. Posillipo), 2024 (video — Lecco, Segrate)
• Dati sì, ma dati da chi?, Museo Nazionale S&T Leonardo da Vinci, Open night, September 2024
• Matematica da costruire, Archimede, December 2023
• Dissemination corner in the The Reasoner, BRIO: From topology to a logic of uncertainty, November 2023 (here)
• An open source tool to detect bias in your predictive algorithm (using logic!): BRIOxAlkemy (about, git repo, my slides at AIxIA 2023)
• Guest post, Identity types in context (j/w Shreya Arya), on the n-Category Café, July 2022 (here)
• Seminario permanente, Un numero finito di idee sulla definizione di infinito, ZEST!, in the middle of 2020 (recording)

… where to next?

Off Nov. 2024 - Mar. 2025!