Haskell Consultant at Well-Typed
🎓 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 🌐