Here is a rare picture portraying how I feel about math and research.
See a CV or have a look at my PhD thesis.
Contacts
[first name] . [last name] @unimi.it
Via Festa del Perdono 7
20122 Milano
also
you should learn about Azat Miftakhov
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.
Research
-
On the internal logic of a Bayesian network (j/w Francesco A. Genco and Giuseppe Primiero)
- BRIOxAlkemy collab on detection of bias in AI:
- 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, link, January 2024
- Categorical models of subtyping (j/w Jacopo Emmenegger), under review, arXiv:2312.14600, December 2023
- TYPES 2023, Categorical models of subtyping, 15 June 2023 (recording)
- On the fibration of algebras (j/w Davide Castelnovo, Fosco Loregian, Ülo Reimaa), ongoing, secret draft here
- 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), arXiv:2403.03085, March 2024
- Context, judgement, deduction (j/w Ivan Di Liberti), under review, 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
- 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)