Mahmudul Al Ameen
Research Engineer at CEA-List
Palaiseau, Île-de-France, France
Summary
👤
Senior🎓
Top SchoolMahmudul Al Ameen is a Research Engineer and Formal Methods Specialist with over a decade of experience building industry-grade verification tools that harden software security at the binary level. Based at CEA List in France, he focuses on the intersection of classical and post-quantum cryptography and side-channel resilience, including leading the first systematic timing-leak evaluation of NIST PQC digital signature candidates presented at the 2025 NIST PQC Conference. He designs scalable static analysis and constant-time verification tools, created a BN-interface stubbing framework for library-agnostic cryptographic reasoning, and mentors junior researchers while driving collaborations with academic partners. His background spans separation-logic–based memory and information-flow verification, LLVM-to-structured translations, and applied research for autonomous systems, reflecting a rare blend of deep theory and practical tool engineering. Colleagues rely on him to bridge cryptographic theory and deployable security, ensuring that emerging PQC standards are safe not only on paper but in real-world implementations.
11 years of coding experience
14 years of employment as a software developer
Bachelor of Science, Computer Engineering, Bachelor of Science, Computer Engineering at Darul IhsanBachelor’s Degree, Computer Science and Science, Bachelor’s Degree, Computer Science and Science at Darul Ihsan University, DhakaDoctor of Philosophy (Ph.D.), Informatics, Doctor of Philosophy (Ph.D.), Informatics at The Graduate University for Advanced StudiesMaster of Science (MS), Computer Science and Engineering, Master of Science (MS), Computer Science and Engineering at East West University
Bangla, English, Japanese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (21)
asp-net-mvc10
pluralsight10
angularjs10
javascript9
ios9
java9
python9
django9
rails9
docker9
blockchain9
android9
nodejs9
swift9
ruby8
Programming languages (1)
Github contributions (5)
phaysaal/MuFU-Transformer
May 2021 - Jun 2023
Contributions:6 pushes, 1 branch in 2 years 2 months
phaysaal/LlvmReversed
May 2022 - Mar 2023
Contributions:22 pushes, 5 branches in 9 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.