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. Recently, I worked with the networking team at IOG (Cardano), where I gained experience integrating functional programming with real-time distributed systems.
🛠 Interests:
I focus on program correctness and enjoy creating elegant, composable programs using Denotational Design principles. Currently, I’m exploring Agda to deepen my understanding of program verification.
🔗 Connect:
Twitter 🐦 | LinkedIn 🌐