Currently training  a team of developers with no previous experience in functional programming nor Scala.

Senior Developer

Worked on a desktop application for a big data exporation tool, using PureScript.

Web Developer

Have been doing functional programming professionally since around 2010 and have been now done it professionally using many different tools, including Java, JavaScript, Scala, etc. I have trained many people to contribute to functional code bases.

Worked on a few production services in Haskell. Have spent a lot of time with various fundamental Haskell libraries such as lens, amazonka, optparse-applicative, etc.

Worked full time for 2 months on a desktop application written using PureScript. Have worked on the PureScript compiler, improving performance by 2.5x during compilation. Worked on Halogen library.

Been using NixOS for development systems since 2014. Worked as an SRE to migrate production AWS infrastructure to an internal PaaS using Nix and Docker.

I love to play with Agda and I know the basics of various techniques to prove things in it. I'm not an expert in various proofs, just the tooling.

Personal details

Brian M.

Summary

Technical skills

Work Experience