Tomer Cohen
Software Engineer at StarkWare
Tel-Aviv, Tel-Aviv District, Israel
Summary
🤩
Rockstar🎓
Top SchoolTomer Cohen is a software engineer based in Tel Aviv with a strong academic foundation—a Master's in Computer Science from Technion with top grades and an ISAAC conference publication in approximation algorithms. He combines research rigor with practical impact from internships at Meta and Facebook, where he worked on front-end systems for complex datasets and back-end improvements in C++, Cython, and Python. Now at StarkWare, he applies this cross-stack experience to production systems in a high-performance, research-driven environment. Tomer also has several semesters of hands-on teaching experience in Data Structures, Algorithms, and Competitive Programming, having organized exercises and led workshops. That blend of deep theoretical knowledge, low-level systems work, and pedagogy makes him especially effective at translating complex algorithms into maintainable, user-facing solutions. An understated strength is his proven ability to navigate large, department-wide codebases while keeping interfaces simple and searchable.
2 years of coding experience
1 year of employment as a software developer
Master's degree, Computer Science, Courses GPA: 93.4, Thesis: 96, Master's degree, Computer Science, Courses GPA: 93.4, Thesis: 96 at Technion - Israel Institute of Technology
Github Skills (10)
zkp10
cairo-lang10
starknet10
turing-complete10
computation10
cairo10
julia10
transaction9
sequencer9
rust6
Programming languages (1)
Github contributions (3)
TomerStarkware/BitVM
Sep 2024 - Nov 2024
Smarter Bitcoin Contracts
Contributions:6 pushes, 2 branches in 1 month
starkware-libs/cairo
Oct 2023 - Apr 2025
Cairo is the first Turing-complete language for creating provable programs for general computation.
Contributions:546 reviews, 268 PRs, 907 pushes in 1 year 5 months
computationturing-completecairo-langzkpturing
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.