Hernán Madrigal
Cryptography Research Engineer at HashCloak
Colombia
Summary
👤
Senior🎓
Top SchoolHernán Madrigal is a Cryptography Research Engineer with a decade of experience at the intersection of cryptography, algorithms, and machine learning, currently applying his expertise at HashCloak. With an MSc in Applied Mathematics and dual undergraduate training in Mathematics and Computer Engineering, he blends rigorous proofs and practical implementation—having developed secure printed-document authentication algorithms at ETH Zürich. His research focus on secure multi-party computation and privacy-preserving ML is complemented by strong skills in algorithm and data-structure design and in automating educational tooling. Comfortable moving from theoretical security proofs to testing and improving real systems, he brings a practitioner’s eye to mathematical problems, often optimizing for both accuracy and efficiency. Based in Colombia, he has a track record of teaching and mentoring students in data structures, algorithms, and discrete math, which informs his clear, systematic approach to complex cryptographic engineering.
10 years of coding experience
Master of Science - MS, Applied Mathematics, Master of Science - MS, Applied Mathematics at Universidad Nacional de Colombia
Spanish, English
Github Skills (32)
polynomials10
elliptic-curve10
mpc10
multi-party-computation10
curve10
finite-field10
privacy-enhancing-technologies10
computation9
secure-computation9
confidential-computing9
cryptography9
rust9
intervals9
noir8
circuit8
Programming languages (12)
Github contributions (5)
hernan232/HCDP
Apr 2017 - Apr 2020
Contributions:1 release, 7 pushes, 1 branch in 3 years
hernan232/secure-svm
May 2021 - Aug 2022
Contributions:8 PRs, 114 pushes, 13 branches in 1 year 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.