I write #Haskell for a living; currently web backends, but previously formal methods. I've been contributing to Haskell open source since 2010; you probably know my work even though you don't know me! 
I also do some dynamically typed functional programming: I've been involved with #NixOS since 2014 and I'm an avid #Emacs user.
Besides "types" and "functional programming", my technical interests include programming language theory, testing, and software engineering practice.
Before I was a software developer, I did a Ph.D. in Physics at UIUC. My area was condensed matter theory, in particular, topological insulators, but I could also probably talk your ear off about fundamental physics.
I like to ride bicycles. I collect fountain pens. And I find it rather awkward to talk about myself.