Michele Banfi

PhD Researcher in Quantum Error Correction Politecnico di Milano

I am a PhD student in Information Technology at Politecnico di Milano. My research is in quantum computing, with a focus on quantum error correction (QEC) and quantum compiler architectures:

  • QLDPC & Stabilizer Codes: designing high-rate quantum low-density parity-check code families, syndrome extraction circuits, and fault-tolerant architectures.
  • Low-Latency Decoding Algorithms: belief propagation and Best-First Ordered Statistics Decoding (BF-OSD) to explore error candidate spaces with drastically lower complexity.
  • Quantum Circuit Transpilation: transformer-based algorithms for mapping abstract quantum circuits to hardware-native gate sets and connectivity constraints (e.g., trapped ions and superconducting processors).

Works & Preprints

2 works
arXiv:2605.25777 [quant-ph] May 2026

Best-First Ordered Statistics Decoding of Quantum LDPC Codes

Michele Banfi, Sebastiano Corli, Paolo Zentilini, Luca Barletta, Alberto Tarable, Marco Ferrari

Quantum Error Correction QLDPC Codes Ordered Statistics Decoding Belief Propagation
Abstract: We propose Best-First Ordered Statistics Decoding (BF-OSD), an algorithmic enhancement to the belief propagation plus ordered statistics decoding pipeline for quantum low-density parity-check (QLDPC) codes. By prioritizing error candidates through a best-first heuristic tree search over syndrome-compatible sub-spaces, BF-OSD achieves decoding performance on par with higher-order OSD while drastically cutting candidate exploration complexity and latency.
@article{banfi2026bestfirst,
  title={Best-First Ordered Statistics Decoding of Quantum LDPC Codes},
  author={Banfi, Michele and Corli, Sebastiano and Zentilini, Paolo and Barletta, Luca and Tarable, Alberto and Ferrari, Marco},
  journal={arXiv preprint arXiv:2605.25777},
  year={2026}
}
arXiv:2512.09834 [quant-ph] Dec 2025

Transpiling quantum circuits by a transformers-based algorithm

Michele Banfi, et al.

Quantum Transpilation Transformer Models Gate Synthesis Circuit Optimization
Abstract: Transpilation of quantum circuits to hardware-native topologies and gate libraries is a critical bottleneck in NISQ and early fault-tolerant quantum devices. In this work, we introduce an autoregressive transformer architecture that learns optimal gate substitution and routing strategies, mapping OpenQASM representations to target architectures (such as IonQ trapped-ion systems) with high fidelity and reduced gate counts.
@article{banfi2025transpiling,
  title={Transpiling quantum circuits by a transformers-based algorithm},
  author={Banfi, Michele and others},
  journal={arXiv preprint arXiv:2512.09834},
  year={2025}
}

No works found matching your filter or query.

Libraries

Published packages & software

qldpc-certificate-benchmark ↗

Python PyPI Package Quantum Error Correction

Certified maximum-likelihood benchmarking of quantum error-correction decoders: prove, shot by shot, whether ML decoding succeeds.

pip install qldpc-certificate-benchmark

Research Projects

View all on GitHub →

External Projects

Apps & editorial initiatives

Experience & Academic Background

Research Experience

Nov 2025 – Present
PhD Student in Quantum Error Correction
Politecnico di Milano · Full-time
Research on Quantum Error Correction, Quantum LDPC decoders, and circuit compilation.
May 2025 – Nov 2025 · 7 mos
Researcher (Ricercatore)
Università degli Studi di Milano · Contract
Quantum Intelligence Lab · Milan, Italy · On-site

Academic Background

Sep 2023 – Jul 2025
Master's Degree, Artificial Intelligence for Science and Technology
Università degli Studi di Milano-Bicocca · Quantum Computing and Complex Systems
Thesis: A Quantum Based SAT Solver for Causal Discovery
PennyLane
Sep 2020 – Jul 2023
Bachelor's Degree, Information Technology
Università degli Studi di Milano-Bicocca
Thesis: Develop a cloud architecture for Remote Patient Monitoring
Qiskit

Get in Touch

I am always open to discussions regarding quantum error correction, fault tolerance, collaboration on decoding algorithms, or quantum transpilation.