🎓 Background:
I hold a Master’s in Computer Engineering from the University of Minho, specializing in Formal Methods in Software Engineering and Distributed Systems. My main interests include algebra of programming, abstract mathematics, and well-designed libraries.

🔍 Professional Experience:
In addition to consulting, I'm active in the Functional Programming community and have made several open-source contributions. I am a Haskell Consultant at Well-Typed.

🛠 Interests:
Besides coding, I really enjoy cooking and learning languages!

🔗 Connect:
Twitter 🐦 | LinkedIn 🌐