| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 26 Nov 2025 19:23:10 GMT
access-control-allow-origin: *
etag: W/"6927539e-4b7b"
expires: Mon, 29 Dec 2025 22:07:09 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 88D2:3946E9:94B710:A6F893:6952F934
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 21:57:09 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210067-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767045429.982505,VS0,VE208
vary: Accept-Encoding
x-fastly-request-id: f0e35e2d02ed0de218426ce31efaec932fa080d8
content-length: 5750
iwilare
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.
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.
PhD work
-
2024-09-16Di- is for Directed: First-Order Directed Type Theory via Dinaturality (version before corrections)Andrea 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-22)Directed 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