The meeting place for professional Haskell programmers
Find a Job
I'm a Haskeller!
Using Haskell since 2003
Reveal email address
You can ask me about full- or part-time employment
Living in Portland, OR
hacker // trader // researcher // engineer
Research interests include functional programming, dependent types, constructive mathematics, type theory, and category theory.
Much of my time is spent at the moment in Agda and Coq working on formalized categorical models of higher dimensional type theory.
Interested in engineering tasks for which the above topics are relevant, particularly applications in defense, quantitative finance, and security.
I work on Mac OS X and sometimes Linux. I use Emacs and Sublime Text 2 as my editors.
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Metaprogamming via Template Haskell
Monadic Parser Combinators
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Software packaging/distribution tools
Check package dependency status.
and powered by the
Yesod Web Framework
— OR —
— OR —