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