I am a programmer with a background in Java, Scala, and Haskell. I give talks, write posts, build projects, and maintain a CV. Follow along via RSS.
I can be reached at firstname.lastname@example.org, and my PGP key is
When not knee-deep in type theory, I can be found kickboxing, cycling, running, and stargazing around Boulder, CO.