I am a developer at ThoughtWorks Barcelona. I like functional programming, formal verification and domain driven design. My preferred language is Haskell, though I am proficient also in PureScript, Scala, Java, Idris, TypeScript, Python and PHP.
skills: functional programming domain driven design Test Driven Development Type Theory Formal Verification algorithms Haskell Idris Eta Scala PureScript TypeScript php python java Linux bash software architecture
Currently heading engineering at Twyla. Previously worn many different hats in domains including security, finance, networking, data centers etc. Been contributing to OSS for a reasonable chunk of my life.