Adil Raza
PhD Candidate
Summary
🤩
RockstarAdil Raza is a PhD candidate specializing in Algebraic Geometry with three years of professional experience, based in India. He bridges deep theoretical mathematics with practical problem-solving, applying rigorous analytical thinking to research and computational tasks. Although early in his career, he has committed to advanced study and contributes to the academic software ecosystem via GitHub. His background suggests strong aptitude for formal reasoning, abstract modeling, and translating complex concepts into reproducible code or experiments. Colleagues can expect a meticulous researcher who is building both domain expertise and software development chops.
3 years of coding experience
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (33)
markdown9
installer9
jekyll9
archlinux8
gitpod7
github-pages6
mathematical6
theorem-proving5
formal-methods5
javascript4
window-manager4
mathematics4
math4
fortress4
hud4
Programming languages (10)
Github contributions (5)
ImperialCollegeLondon/diophantine
Jul 2022 - Nov 2022
Solving Diophantine equations in Lean
Contributions:17 commits, 2 PRs, 13 pushes in 4 months
equationsleansolvingjulia
ARazaMaths/M1F-explained
Jul 2023 - Aug 2023
A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Contributions:32 pushes in 1 month
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.