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 fourth 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.
PhD work
-
2024-09-16Andrea Laretto, Fosco Loregian, Niccolò Veltri
Click here for talks
- [ Slides] 2025-06-09 - 🇬🇧 TYPES 2025, Glasgow
- [ Slides] 2024-12-20 - 🇮🇹 5th ItaCa Workshop, Padova
-
2025-04-15 / updated 2025-07-22Directed First-Order Logic (new version! ⚠️ temporarily the version on arXiv is older)Andrea Laretto, Fosco Loregian, Niccolò Veltri
Click here for talks
- [ Slides] 2025-04-17 - 🇮🇹 EuroProofNet WG6 Meeting, Genova
Other 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
Misc
-
2022-11-15