jdodinh

I'm a computer scientist with a strong foundation in theoretical computer science and a deep interest in cryptography and programming. I completed my Master’s at EPFL, where I specialized in proof systems and wrote my thesis on simulation security in the random oracle model under the supervision of Alessandro Chiesa and Giacomo Fenzi. My work has focused on foundational cryptographic topics like hash-based zkSNARKs, simulation-security of arguments, and post-quantum cryptography, as well as broader themes in interactive proofs and probabilistic checking.

Before EPFL, I studied Mathematics and Computer Science at McGill University, which gave me a solid mathematical grounding. I’ve also worked in industry — most recently as an intern at SonarSource — and I’m currently focused on finding roles where I can apply my technical skills, especially in cryptography or Rust development. On the side, I’m building real-world systems in Rust, like a BitTorrent client with CodeCrafters and a sum-check protocol implementation.

Most recently, I’ve been working on optimizing the STIR protocol — a low-degree proximity test for Reed–Solomon codes — by integrating emerging research on algebraic quotienting and building a unified benchmarking framework alongside WHIR. This project is done in collaboration with the COMPSEC lab, and serves both as an experimental platform for integrating new ideas and as a stepping stone toward standardizing low-degree tests within libraries like Arkworks.

I’m passionate about technically rigorous work, especially in cryptography, and I’m looking for opportunities where I can take ownership of projects, grow as an engineer, and ultimately lead teams. I thrive in environments that value excellence, mentorship, and long-term growth — and I’m excited to contribute to teams working on meaningful, challenging problems.