Abdullah Uyu
Istanbul, Türkiye Turkey
Summary
🤩
Rockstar🎓
Top SchoolAbdullah Uyu is a mathematics graduate based in Istanbul with six years of experience focused on mathematical logic and the foundations of mathematics. He is actively formalizing classical geometry results—currently Desargues's Theorem—in Lean, emphasizing rigorous, machine-checked proofs. That blend of deep theoretical interest and practical formalization work suggests strong skills in abstract reasoning, proof engineering, and dependently typed tooling. Although primarily academic, his sustained commitment to formalization indicates readiness to contribute to formal methods, verification, or research-oriented engineering roles.
6 years of coding experience
Bachelor of Science - BS, Mathematics, Bachelor of Science - BS, Mathematics at Galatasaray Üniversitesi
Github Skills (26)
midi10
qt9
hid9
linux9
commerce9
audio9
math-library9
music9
hubspot8
react8
windows8
javascript8
nodejs8
shopify8
ecommerce8
Programming languages (3)
Github contributions (5)
oneofvalts/resume
Sep 2022 - Dec 2024
Contributions:8 pushes, 1 branch in 2 years 2 months
oneofvalts/desargues
Mar 2024 - May 2026
Contributions:50 pushes, 1 branch in 2 years 2 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.