Gil Shachar
Software Engineer at StarkWare
Tel-Aviv District, Israel
Summary
🤩
Rockstar🎓
Top SchoolGil Shachar is a software engineer and PhD candidate in Computer Science at Technion, combining three years of industry experience with deep research in discrete geometry. Currently at StarkWare, he contributes to core back-end systems and has worked on Cairo's syntax and code generation—helping improve a widely used Turing-complete language for provable programs. His background includes teaching data structures, competitive programming and computational geometry, reflecting strong foundations in algorithms and pedagogy. He also brings prior research internship experience from Yahoo Research, and a track record of translating theoretical insights into practical tooling. Based in the Tel-Aviv district, Gil is actively seeking his next opportunity to bridge research-grade ideas with high-impact engineering.
3 years of coding experience
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Technion - Israel Institute of Technology
English, Hebrew
Stackoverflow
158reputation
11kreached
4answers
10questions
Github Skills (16)
syntax10
code-generation10
parsing10
parse10
cairo10
programming-language9
language-design9
compiler-design8
datetime6
pandas6
oop6
pytorch6
deep-learning6
data-visualization6
python6
Programming languages (2)
Github contributions (5)
starkware-libs/cairo
Sep 2022 - Mar 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:1863 reviews, 327 commits, 684 PRs in 6 months
Contributions summary:Gil primarily contributed to the development of the Cairo programming language's core libraries, with a focus on syntax and code generation. Their work involved implementing features related to span without trivia in syntax nodes, fixing the complexity of span\_without\_trivia, and initial contributions towards the implementation of a code formatter. The contributions spanned across multiple files and involved direct modification to the underlying syntax structure of the cairo language, suggesting a focus on improving its functionality.
computationturing-completecairo-langzkpturing
gilbens-starkware/catering-app
Nov 2024 - Dec 2024
Contributions:56 PRs, 79 pushes, 24 branches in 23 days
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.