Elazar Gershuni
PHD Candidate
Israel
Summary
👤
Senior🎓
Top SchoolElazar Gershuni is a PhD candidate in Computer Science at Technion with a decade of practical experience spanning programming languages, static analysis, machine learning, systems, and security. He has combined research internships at IBM, Yahoo, and VMware—where his work on a static verifier for eBPF was published in PLDI—with hands-on software development and QA roles dating back to Intel and IDF communications. A regular open-source contributor, Elazar has made substantive contributions to high-profile Python projects such as mypy and typeshed, improving type checking, stubs, and correctness across the standard library. He also contributes backend logic and parsing utilities to data-for-change projects like the ANYWAY car-accidents map, showing an interest in socially useful systems. Comfortable moving between research and production, he brings a rigorous, correctness-first approach to engineering that surfaces in careful refactors, tests, and handling of corner cases. Based in Israel, he pairs deep technical specialization with practical implementation experience across academia and industry.
10 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Technion - Israel Institute of TechnologyMaster’s Degree, Computer Science, 95, Master’s Degree, Computer Science, 95 at Tel Aviv University
English, Hebrew
Stackoverflow
21,041reputation
2.7mreached
362answers
3questions
recursion
top-5%
python
top-1%
tuples
top-1%
pycharm
top-5%
Github Skills (41)
static-typing10
typesc10
static-analysis10
type-check10
python10
stub10
stubs10
mypy10
dynamic-typing10
typescript10
beautifulsoup10
data-parsing10
tuples10
implicit-typing10
type-system10
Programming languages (13)
Github contributions (5)
data-for-change/anyway
May 2020 - Dec 2022
ANYWAY - Car accidents map
Role in this project:
Back-end Developer
Back-end DeveloperContributions:90 reviews, 59 commits, 47 PRs in 2 years 7 months
Contributions summary:Elazar primarily contributed to the back-end logic of the "anyway" repository, which focuses on mapping car accidents. They fixed CSS classes and made changes to parsing utilities, likely to extract and process data from news sources like Walla and Ynet. The user also implemented test cases to validate the parsing of data from the specified news sources. Furthermore, the user refactored code and performed clean-up tasks, such as removing obsolete prefixes and directives, ensuring the code's maintainability.
public-datatraffic-incidentsaccidentsmapcar
python/mypy
Sep 2016 - Oct 2018
Optional static typing for Python
Role in this project:Back-end Developer & Code Maintainer
Back-end Developer & Code MaintainerContributions:115 commits, 150 PRs, 838 comments in 2 years 1 month
Contributions summary:Elazar primarily contributed to the mypy project by implementing features and fixing bugs related to type checking and static analysis of Python code. Their work focused on enhancements to the type system, specifically around features like namedtuple methods and handling of various language constructs. The user also addressed issues related to edge cases and improved the overall correctness of the type checker by addressing edge cases, and fixing multiple bugs. They also made contributions to refactoring, type hinting, and the usage of with statements.
linterpythontypecheckerstatic-typing
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.