What I Do
I'm a quantum software researcher based in Paris, working on quantum simulation, compilation and error correction tools. I’m curious about new developments in quantum software, especially when they involve recycling old programming tricks and clever mathematical formalism. I often ask myself what's quantum about quantum software, and how much of it boils down to traditional software development & algorithmic research. I believe that quantum hardware and quantum software should be co-developed, much like good gaming consoles need fun video games.
What I Build
emlint
The grammar checker for Detector Error Models (DEMs). It catches silent bugs that can inflate logical error rates and remain undetected for hours of simulation time.
QLDPC Challenge
An open competition by the Unitary Foundation to find better quantum LDPC codes. Submit a CSS code with its parity checks and distance witness via PR, and climb the leaderboard across locality and check-weight tracks.
Blog
What is a detector error model?
August 28 2026
A tour of the DEM: the compressed interface between noisy circuits and decoders, and why it deserves static analysis.
Publications
Design rules for fault-tolerant multi-gate teleportation
Mathys Rennela · arXiv:2607.01342 · July 2026
A decoder-independent design rule for fault-tolerant packet sizes in multi-gate teleportation over rotated surface codes.
Quasilinear Equivalence Checking for Detector Error Models
Mathys Rennela · arXiv:2606.14677 · June 2026
The first static decision procedure for Detector Error Model equivalence, via a sound, terminating, confluent rewriting system computed in quasilinear time.