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
Jérémi Do Dinh, Alexandros Hollender
Projects
-
Master's Thesis
-
Semester Project
Music
I am passionate about music, so here are some links to work I have done.