I am a programmer with a background in Java, Scala, and Haskell. I like to give talks and write posts. I 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.