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.
10 years of coding experience
11 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 (32)
console9
proofs9
windows9
cryptography9
command-line9
noir9
cmd9
windows-terminal8
windows-subsystem-for-linux8
termux8
coq8
linux8
programming-language8
windows-console7
android7
Programming languages (9)
Github contributions (5)
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.