|created:||September 12, 2011|
I am interested in programming languages, semantics, functional programming (especially Haskell and OCaml), program synthesis and domain-specific languages.
Currently a Principal AI Scientist in Target's supply chain team, focused on our simulation efforts.
I never thought I'd end up working on supply chains, but it turned out to be pretty fascinating, and I get to use a mix of Haskell and Rust to boot. We're usually hiring; feel free to email me if any of this piques your curiosity!
contact: http://jelv.is, email@example.com