Andrea Laretto
Hello, I'm Andrea! I'm a first 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 dependent type theory, λ-calculus, programming languages, and category theory. I love programming/proving in Agda, Haskell, and Rust.Theses
-
2022-10-07Master's Thesis @ University of Pisa (110/110 with honors)Presentations:
- [ 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
Contact me
((λxy.x@y.com)iwilare)gmail)
((λxy.x@y.ee)andrea.laretto)taltech)