Dori Medini
Software Developer at StarkWare
Israel
Summary
🤩
Rockstar🎓
Top SchoolDori Medini is a software developer with four years of professional experience, currently building back-end systems at StarkWare in Israel. He combines strong academic foundations—dual bachelor's degrees in Mathematics and Computer Science from Technion and a master's in Computer Science from Tel Aviv University—with hands-on contributions to Cairo, the Turing-complete language for provable programs. At Cairo he implemented numerical primitives like uint128_divmod and is_lt, refactored core libraries for maintainability, and fixed subtle bugs, demonstrating care for correctness in cryptographic-grade code. Prior roles include development stints at Facebook and EMC ScaleIO, giving him exposure to large-scale engineering practices. Known for pragmatic problem-solving and an emphasis on clean abstractions, he thrives on code-level improvements that enable provable and auditable computation.
4 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Mathematics, 95, Bachelor's degree, Mathematics, 95 at Technion - Israel Institute of TechnologyMaster's degree, Computer Science, 95, Master's degree, Computer Science, 95 at Tel Aviv University
English, Hebrew
Github Skills (8)
zk10
zkp10
cairo10
rust8
data-structure7
data-structures7
algorithm7
algorithms7
Programming languages (4)
Github contributions (5)
starkware-libs/cairo
Nov 2022 - Feb 2023
Cairo is the first Turing-complete language for creating provable programs for general computation.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:227 reviews, 59 commits, 95 PRs in 3 months
Contributions summary:Dori primarily focused on implementing new features and functionalities within the Cairo programming language's core libraries. This included the implementation of the `is_lt` and `uint128_le` functions, as well as the development of the `uint128_divmod` function. Their work extended to the refactoring of existing code, extracting functions for improved code structure and maintainability. Moreover, the user addressed and corrected a code error.
computationturing-completecairo-langzkpturing
starkware-libs/sequencer
Jul 2024 - Apr 2025
Contributions:2732 reviews, 823 PRs, 2536 pushes in 8 months
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.