User : tikhonj

• Created: 1315798317
• Karma: 16078
• Tikhon Jelvis

  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

submissions | comments