Skip to main content

TartanQEC | Speaker

Rafael Haenel

QuEra Computing

Rafael Haenel is a Senior Scientific Software Developer at QuEra Computing, where he works at the intersection of quantum error correction, compiler infrastructure, and neutral-atom quantum computing architectures. His work focuses on scalable software systems for fault-tolerant quantum computing on neutral-atom hardware. Prior to joining QuEra, he worked at Photonic Inc. and completed his PhD at the University of British Columbia in condensed matter theory.

Photo of Rafael Haenel

Tsim: Fast Universal Simulator for Quantum Error Correction

I will present Tsim, an open-source high-throughput simulator for universal noisy quantum circuits targeting quantum error correction. Tsim represents quantum circuits as ZX diagrams, where Pauli channels are modeled as parameterized vertices. Diagrams are simplified via parameterized ZX rules, and then compiled for vectorized sampling with GPU acceleration. After the one-time compilation, one can sample detector or measurement shots in linear time in the number of Clifford gates and exponentially only in the number of non-Clifford gates. Tsim implements the Stim API and fully supports the Stim circuit format, extending it with T and arbitrary single-qubit rotation instructions. For low-magic circuits, Tsim throughput can match the sampling performance of Stim.

Event Photos

View all