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.
[ CV]  [ GitHub]  [ Twitter] 

Theses

Seminars

Misc

Contact me

((λxy.x@y.com)iwilare)gmail) ((λxy.x@y.ee)andrea.laretto)taltech)