- ๐ I'm a software craftsman living in Milan (Italy ๐ฎ๐น)
- ๐ป I've been programming for over half my life. I'm comfortable creating, developing, maintaining, and improving software written in C, C#, Python, and Elixir (most of my recent projects have been written in Elixir), but I'd like to work more on Haskell, Rust, Erlang, OCaml, Scheme, Agda and Elm
- ๐ฃ๏ธ My current interests revolve around functional programming, algorithms, compilers, interpreters, domain-specific languages, virtual machines and autonomous robot
- ๐ฌ I blog fairly regularly on a journal
- Programming languages & PLT
- Distributed systems
- Robotics
- Functional programming
- Formal methods
- Read books ๐
- Walking ๐ถ, running ๐, climbing ๐ง or sailing โต
- Make fresh pasta ๐ or bread ๐