Quantum Error Correction, Quantum Software

Mozilla funds researcher to test quantum error correction tools

Avatar of Ivy Delaney
August 12, 2026 by Ivy Delaney

Mathys Rennela, a quantum software researcher based in Paris, is receiving support from the Mozilla Foundation as the newest Mozilla Fellow. Rennela will address a fundamental challenge in quantum computing: verifying the reliability of quantum error correction software, which, unlike classical software, requires solving NP-complete problems or running simulations prone to false positives.

He notes that bugs in detector error models may go undetected until deployment, wasting research time and computational resources. Rennela’s work will focus on building “emlint,” a static linter for these models, with the goal of establishing a foundational verification layer and fostering community adoption of robust quantum software practices as part of the 2026-2027 Mozilla Fellowship cohort.

emlint Linter Addresses Silent Failure Risks in Quantum Error Correction

Quantum software faces a unique hurdle in verification; the properties of reliable quantum programs are only confirmed by solving problems deemed NP-complete, or through simulations prone to inconsistent results. This fundamental challenge distinguishes quantum error correction from conventional software testing, demanding new approaches to ensure dependability. Rennela identified a critical gap in quantum software tooling. A structural bug in a detector error model, the intermediate representation of an annotated and compressed noise model, often surfaces only after a long Monte Carlo simulation, and sometimes never.

Because decoders inherently trust their input, a defective model can subtly inflate logical error rates without triggering any immediate alarms. Rennela’s work centers on building “emlint,” a static linter designed to proactively identify these defects before any simulations begin, offering a significant advantage over current detection methods.

The core of Rennela’s research is emlint, a tool built with Stim as a dependency, which analyzes detector error models, the compressed representation of noise, in milliseconds. Currently, emlint performs six fundamental checks, including verifying that detectors are both sensitive and detectable, ensuring logical errors are properly protected, and confirming the validity of probability bounds within the model.

Underpinning this linter is a rigorous algebraic formalism utilizing category theory to simplify the complex task of establishing a robust verification pipeline. Rennela stated his goal for the fellowship year is “Building the foundational verification layer for quantum error correction, and fostering a community which makes the use of such tools standard practice.” Beyond the technical development of emlint, Rennela emphasizes the importance of community building and open-source collaboration.

He intends to mirror successful open-source practices, drawing inspiration from projects like ESLint for JavaScript, to encourage widespread adoption of the linter. Rennela explains that “Clear documentation and demos, conference and developer meetups, mentorship and hackathons, and upstream open source contributions are essential to build a healthy software ecosystem,” highlighting the need for a collaborative approach to quantum software development. A preliminary version of emlint is already available on GitHub, inviting immediate testing and integration into continuous integration pipelines.

Rennela actively encourages feedback via Discord (username: mathysrennela_96389), offering assistance with debugging QEC simulations and welcoming contributions to expand the linter’s capabilities. He envisions emlint becoming as integral to quantum error correction as Clippy is to the Rust programming language, a seamlessly integrated tool that operates unobtrusively in the background, recognizing that quantum software development ultimately adheres to the same principles as its classical counterpart.

Building the foundational verification layer for quantum error correction, and fostering a community which makes the use of such tools standard practice.

More like this
Quantum Computing Business NewsXanadu & Entropica Labs: Fault-Tolerant Quantum Computing
Quantum AlgorithmsResearchers Develops Quasilinear Rewriting System for Detector Error Models
Quantum FundingMagiQware Secures €575K Pre-Seed to Optimize Quantum Error Correction
Quantum Computing Business NewsIQM Roadmap Targets Fault-Tolerant Quantum Computing 2030
Stay current

See today’s quantum computing news on Quantum Zeitgeist for the latest breakthroughs in qubits, hardware, algorithms, and industry deals.

Tags:
error correction Monte Carlo simulation Quantum Computing quantum software
Avatar of Ivy Delaney

Ivy Delaney

Ivy Delaney has been working with neural networks and machine learning since the mid-nineties, back when a couple of hidden layers and a long afternoon of training counted as ambitious. She has watched the field go from academic curiosity to the thing quietly running underneath everything, and she brings that long view to quantum computing. For Quantum Zeitgeist she covers the ground where the two fields meet. That means quantum machine learning and the variational algorithms it leans on, and it also means the less glamorous but more interesting story of classical machine learning already doing real work inside quantum machines, decoding error-correcting codes, calibrating noisy hardware and learning the error models that simulators depend on. She writes about the hardware those algorithms have to run on too, and about the post-quantum cryptography scramble that the same hardware has set off. Her stories typically start with the paper, whether that is peer-reviewed work, conference proceedings or an arXiv preprint, with the source linked so you can hold a claim up against the research it came from. She is unimpressed by benchmarks that will not say what they beat, and by demonstrations that only work in the press release.

Latest Posts by Ivy Delaney: