Jérémi Do Dinh

About Me

I am a recent (2024) graduate from EPFL, where I obtained a Master’s degree in Computer Science, specializing in proof systems and theoretical computer science. I completed my thesis at the COMPSEC lab under the supervision of Alessandro Chiesa and Giacomo Fenzi. Before joining EPFL, I obtained a bachelor’s degree in Mathematics and Computer Science from McGill University.

When I’m not immersed in technical pursuits, you’ll find me playing my guitar, kitesurfing, or skiing.

Research Interests

• Cryptography: Hash-based zkSNARKs, simulation-security of arguments, and post-quantum cryptography.
• Probabilistic Proofs: Interactive proof systems and low degree testing.

Current Endeavors

• Learning Rust:
  • In progress: Building my own BitTorrent in Rust with the help of CodeCrafters.
  • Check out my implementation of the sum-check protocol!

News

• [Oct. 2024] Currently taking time to explore opportunities after graduation, while working part-time on select projects.
• [Sept. 2024] Finished my Master’s degree at EPFL.
• [Mar. 2024] Started working on my thesis at COMPSEC.
• [Sept. 2023] Started a 6-month internship at SonarSource.

Publications

Projects