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 domain driven design Test Driven Development Type Theory Formal Verification software architecture Idris Eta Scala PureScript php TypeScript Haskell functional programming java python 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.
I'm an Engineering Manager based in Edinburgh. Previously I have also been a Teaching Assistant at a university where I realised I like helping people out when I can. I also held ruby tutorials to my co-workers as well.
Many many moons ago i used to give private lessons in basics of programming for 1st year Business Students at Uni who had a compulsory programming module, i did Business Informatics and in my second year that provided a fun way to practice. I loved it.