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: Linux bash functional programming domain driven design Test Driven Development Type Theory Formal Verification software architecture Haskell Idris Eta Scala PureScript php TypeScript python java algorithms
I recently moved to Edinburgh and started working with Claudia, another of your coaches. I have >15 years in the industry. Until recently I was a Senior Software Engineer at Google. In a past career, I was a professional Maths teacher in England.