Miguel Quaresma
Bochum, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolMiguel Quaresma is a security and cryptography researcher and engineer with a decade of experience, currently working at Least Authority while pursuing a Ph.D. at the Max Planck Institute for Security and Privacy. He focuses on high-performance, high-assurance post-quantum cryptography and the formal modelling and verification of cryptographic implementations, bringing academic rigor to practical engineering problems. Based in Bochum, Germany, he combines low-level optimization skills with formal methods to make PQC implementations both fast and auditable. Miguel’s work bridges research and real-world deployment, emphasizing verifiable correctness in cryptography—a detail that often separates prototypes from production-ready systems. He is accustomed to operating at the intersection of theory and practice, pushing cryptographic primitives toward secure, high-performance adoption.
10 years of coding experience
Ruhr University Bochum
English, Portuguese, Spanish
Github Skills (61)
strava10
cryptanalysis10
purescript10
byte10
high-speed10
ssreflect9
strongly-typed9
fitness9
digital-signature9
fhe9
coq9
hmac9
eddsa9
public-key-cryptography9
ieee9
Programming languages (9)
Github contributions (5)
jcm300/Big2
Mar 2016 - Mar 2018
Contributions:40 commits, 5 pushes in 1 year 11 months
MQuaresma/mquaresma.github.io
Feb 2020 - Apr 2025
Contributions:26 pushes, 1 branch in 5 years 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.