Yuval Goldberg
Senior Software Engineer at StarkWare
Tel-Aviv District, Israel
Summary
🤩
RockstarYuval Goldberg is a Senior Software Engineer based in the Tel-Aviv District with a decade of professional experience and three years focused in senior roles. He has driven backend and systems architecture work at StarkWare, contributing to the Cairo language by designing core data structures, lexer, and code generation for complex language constructs—demonstrating expertise in compiler design and domain-specific languages. Prior to StarkWare he spent five years at Google and earlier built production software for the Office of the Prime Minister of Israel, showing a track record across both large-scale engineering and high-stakes government systems. Yuval combines low-level language/compiler craftsmanship with practical system architecture, enabling provable smart-contract computation in a cutting-edge cryptographic stack. Colleagues would note his ability to translate language semantics into robust compiler APIs while keeping an eye on production-grade reliability.
3 years of coding experience
10 years of employment as a software developer
Github Skills (14)
data-structures10
compiler-design10
data-structure10
architecture9
architectures9
syntax-checking9
code-analysis9
formal-verification9
syntax9
rust8
parser8
code-generation8
parse8
parsing8
Programming languages (4)
Github contributions (5)
starkware-libs/cairo
Aug 2022 - Mar 2023
Cairo is the first Turing-complete language for creating provable programs for general computation.
Role in this project:
Back-end Developer & Systems Architect
Back-end Developer & Systems ArchitectContributions:1163 reviews, 596 commits, 980 PRs in 7 months
Contributions summary:Yuval primarily worked on defining and implementing the core data structures and API interfaces for a new smart contract language, Cairo. Their contributions included designing and implementing the lexer, which is a fundamental component of any compiler. They also contributed to the core syntax-related structures and the compilation process, developing the code generation for various language constructs such as enums and match statements. This suggests a focus on compiler design and system architecture for a domain-specific language.
computationturing-completecairo-langzkpturing
aner-starkware/NFTabu
Dec 2024 - Dec 2024
Contributions:26 PRs, 20 pushes, 12 branches in 1 day
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.