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 second 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 interested in type theory, category theory, λ-calculus, programming languages. I love programming/proving in Agda, Rust, and Haskell.
Preprints
-
2024-09-16Andrea Laretto, Fosco Loregian, Niccolò Veltri
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