👋 Ciao!

• 🌍 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

🙌 What I'm (currently) excited about

• Programming languages & PLT
• Distributed systems
• Robotics
• Functional programming
• Formal methods

🎮 When I am NOT at writing code, I enjoy to

• Read books 📚
• Walking 🚶, running 🏃, climbing 🧗 or sailing ⛵
• Make fresh pasta 🍝 or bread 🍞

📰 You can find me on twitter, LinkedIn or mastodon