Zafer Esen
Postdoctoral Researcher at Uppsala University
Uppsala, Sweden
Summary
🤩
Rockstar🎓
Top SchoolZafer Esen is a postdoctoral researcher and software engineer with eight years of experience bridging applied research and practical systems engineering, currently based at Uppsala University. His background spans a PhD in Computer Science, embedded-systems work, and industry experience as an engineer at Roketsan and two internships at AWS on the Dafny/automated reasoning team. Zafer contributes to verification-focused open-source work—adding Java and C benchmarks and fixing potential double-free issues to the widely used sv-benchmarks collection—highlighting a strong attention to correctness in low-level code. He combines academic rigor with production-minded problem solving, particularly in program verification and safe systems programming. Notably, he has progressed from engineering roles into academia, now teaching and researching while maintaining hands-on contributions to verification tooling.
8 years of coding experience
9 years of employment as a software developer
Kuleli Military High SchoolElectrical and Electronics Engineering, Electrical and Electronics Engineering at Ankara UniversityGazi Anadolu LisesiDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Uppsala University
Github Skills (9)
data-structures10
javas10
algorithms10
verification10
red-black-tree10
data-structure10
java10
c119
c179
Programming languages (7)
Github contributions (5)
sosy-lab/sv-benchmarks
Oct 2019 - Nov 2019
Collection of Verification Tasks
Role in this project:
Back-end Developer
Back-end DeveloperContributions:23 commits, 2 PRs, 23 comments in 1 month
Contributions summary:Zafer primarily focused on adding and modifying benchmarks for verification tasks. They added new benchmarks, particularly for Java and C code, including a Red-Black Tree implementation and several algorithms. The user's work also involved merging updates from the upstream repository and fixing potential double-free vulnerabilities. These changes suggest contributions to the verification of system code.
securitytlaverification
zafer-esen/eldarica
Feb 2019 - Mar 2025
The Eldarica model checker
Contributions:2 PRs, 104 pushes, 5 branches in 6 years 2 months
model-checkerchecker
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.