Andrea Laretto
[ CV]
[ GitHub]
[ Mastodon]
[ Twitter]
do-not-contact.aniwiallareer@gmaoil.coitm, not-a-student.anandrewrea.llareeetto@taleetech.nee
do-not-contact.aniwiallareer@gmaoil.coitm, not-a-student.anandrewrea.llareeetto@taleetech.nee
Hello, I'm Andrea! I'm a third year PhD student at Tallinn University of Technology in the Logic and Semantics Group, under the supervision of Niccolò Veltri and Fosco Loregian.
I'm currently working on directed type theory with 1-categories using dinatural transformations.
Preprints
-
Click here for talks
- [ Slides] 2025-04-17 - 🇮🇹 EuroProofNet WG6 Meeting, Genova
-
2025-02-22Andrea Laretto, Fosco Loregian, Niccolò Veltri
-
2024-09-16Directed equality with dinaturality (Older extended version of the paper above, without explicit syntax) [ PDF]Andrea Laretto, Fosco Loregian, Niccolò Veltri
Click here for talks
- [ Slides] 2024-12-20 - 🇮🇹 5th ItaCa Workshop, Padova
Publications
-
2023Guido Boccali, Andrea Laretto, Fosco Loregian, Stefano LuneiaPublished at CALCO 2023 [ Slides]
-
2023Fabio Gadducci, Andrea Laretto, Davide Trotta
Theses
-
2022-10-07Master's Thesis @ University of Pisa (110/110 with honors)
Click here for talks
- [ Slides] 2023-01-14 - 🇪🇪 World Logic Day 2023 - Logic in Estonia Workshop, Tallinn
- [ Slides] 2022-12-21 - 🇮🇹 3rd ItaCa Workshop, Pisa
- [ Slides] 2022-11-02 - 🇳🇴 Nordic Workshop on Programming Theory 2022, Bergen
-
2020-06-23Bachelor's Thesis @ University of Turin (110/110 with honors)Awarded the AILA 3+2 prize for best Italian theses in logic, announcement (in Italian)
Seminars
-
2022-02-17for the "Software Validation and Verification" 2021/2022 course @ University of Pisa
-
2021-07-23for the "Foundation of Computing" 2020/2021 course @ University of Pisa
-
2021-02-17for the "Languages, Compilers, and Interpreters" 2020/2021 course @ University of Pisa