Simon Meier

I learned about Haskell in 2003 and used it for all my PhD implementation work (https://github.com/tamarin-prover/tamarin-prover and https://github.com/meiersi/scyther-proof). Since then, I've been a professional Haskell developer, first at Better (www.better.com) and now at IBM Research Zurich.