Tikhon Jelvis
Staff Program Analysis Engineer at Semgrep
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolTikhon Jelvis is a Senior Architect based in Berkeley with 15 years of experience building high-performance systems, domain-specific languages, and tools for data science, ML, and mathematical modeling. He brings deep functional programming expertise—especially in Haskell, OCaml and Rust—and a track record of turning research-grade compilers and program synthesis work into production-grade services. At Target he led simulation and forecasting efforts that produced large speedups and operationally adopted IDLs, and more recently he’s designed enterprise type systems and program analysis for supply-chain security. He contributes to open-source projects around reinforcement learning and functional reactive web programming, and has a habit of applying formal methods and IDLs to make complex pipelines auditable and fast. Based in the Bay Area, he pairs academic rigor from his UC Berkeley research background with pragmatism gained shipping backend services and ML-driven systems in production.
15 years of coding experience
12 years of employment as a software developer
BS (incomplete) Electrical Engineering and Computer Sciences, BS (incomplete) Electrical Engineering and Computer Sciences at University of California, Berkeley
Russian
Stackoverflow
67,845reputation
3.5mreached
520answers
14questions
haskell
top-1%
closures
top-5%
ocaml
top-5%
elisp
top-5%
java
top-5%
regex
top-5%
Github Skills (39)
javascript10
python10
machine-learning10
reinforcement-learning10
scala10
emacs10
functional-programming10
haskell10
documentation10
tuples9
nix9
oop9
algorithm9
functor9
java9
Programming languages (10)
Github contributions (5)
TikhonJelvis/RL-book
May 2020 - Jan 2023
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 reviews, 350 commits, 123 PRs in 2 years 8 months
Contributions summary:Tikhon primarily contributed to the development of a machine learning focused reinforcement learning book. The user added Python 3.8 to the Nix shell for the project, implemented a dataclass version of a model, and started working on Markov processes and probability distributions. The user refactored some code and added code samples related to stock price models and Markov processes.
reflex-frp/reflex-dom
Jan 2017 - Jan 2017
Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.
Role in this project:Technical Writer
Technical WriterContributions:5 commits, 1 PR, 2 comments in 1 day
Contributions summary:Tikhon primarily focused on improving the documentation of the `reflex-dom` repository. Their contributions involved breaking down the existing documentation into sections, providing a high-level overview of request flows, and adding an example of the general request process. Additionally, the user fixed issues with the formatting of the documentation by escaping special characters in the code examples, making it easier for developers to use the library. Furthermore, the deprecated `xhrResponse_body` accessors were grouped together for better organization.
callbacksfrpreactivepure-functionalhaskell
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.