joined 9/12/11, 3:31 AM has 15868 karma
I am interested in programming languages, functional programming (especially Haskell), domain-specific languages, static analysis and program synthesis.
Working on program analysis at Semgrep.
I also worked on supply chain optimization at Target for several years, and co-authored a textbook on reinforcement learning based on that experience.
contact: http://jelv.is, tikhon@jelv.is
This user hasn't posted yet