Jérémi Do Dinh

About Me

I’m an engineer at Ligero, Inc. where I specialize in Rust and zero-knowledge proof systems.

I earned my M.Sc. in Computer Science from EPFL in 2024, focusing on proof systems and theoretical CS. I completed my thesis at COMPSEC under Alessandro Chiesa and Giacomo Fenzi. Before EPFL, I received a B.Sc. in Mathematics & Computer Science from McGill University, with a minor in Musical Science & Technology.

Beyond engineering, I enjoy tennis, kitesurfing, and skiing. I play bass for FIA and write songs with Discoplay.

Research Interests

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

News

[Sept. 2025] Converted to full-time engineer at Ligero, Inc. following the internship.
[Jun. 2025] Started a 3-month internship at Ligero, Inc.
[Oct. 2024] Took time off to explore opportunities after graduation, while working part-time on select projects.
[Sept. 2024] Finished my master’s degree at EPFL.
[Mar. 2024] Began thesis research at COMPSEC.
[Sept. 2023] Started a 6-month internship at SonarSource.

Publications

Information Processing Letters

Tight inapproximability of Nash equilibria in public goods games

Jérémi Do Dinh, Alexandros Hollender

PDF THL5 Publication BibTex

Projects

Master's Thesis

Simulation Security in the Random Oracle Model

Jérémi Do Dinh

PDF COMPSEC Presentation BibTex

Semester Project

Integer Programming with Complete Constraint Matrices

Jérémi Do Dinh

PDF DISOPT

Music

I am passionate about music, so here are some links to work I have done.

“Trip-Hop and Massive Attack at The Montreux Jazz Festival”