Ahmad Afuni
Software Developer at Freelance
Queensland, Australia
Summary
🤩
Rockstar🎓
Top SchoolAhmad Afuni is a software developer and cryptography engineer with a PhD in mathematics and nine years of research and teaching experience across Australia and Germany. After a research career focused on mathematical analysis, differential geometry and mathematical physics, he transitioned to applied cryptography with a current emphasis on zero-knowledge proofs. He has held postdoctoral positions at Freie Universität Berlin and Leibniz Universität Hannover, taught advanced courses, supervised students and published academic work before moving into industry roles at Aragon and crypto-focused teams like 0xPARC. Based in Queensland, he blends deep theoretical rigour with practical software delivery as a freelance developer and researcher, often tackling problems that require both abstract proof techniques and production-grade implementation. An uncommon strength is his ability to translate sophisticated geometric and PDE-based intuition into formal cryptographic constructions and verifiable software.
9 years of coding experience
8 years of employment as a software developer
Bachelor of Science - BS, Mathematics, Physics, Bachelor of Science - BS, Mathematics, Physics at The University of QueenslandDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at Freie Universität Berlin
Github Skills (33)
console10
proofs9
windows9
cryptography9
command-line9
noir9
cmd9
windows-terminal9
surface8
wsl28
coq8
programming-language8
software-design7
windows-console7
linux7
Programming languages (10)
Github contributions (5)
ax0/noir
Nov 2022 - May 2023
Noir is a domain specific language for zero knowledge proofs
Contributions:1 release, 2 PRs, 55 pushes in 5 months
zeroknowledgezero-knowledgedomainknowledge-proofs
aragonzkresearch/noir-trie-proofs
Apr 2023 - Mar 2024
Contributions:7 releases, 12 reviews, 17 PRs in 11 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.