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 π