People
PhD Students and Postdocs
The people who build the compiler, the verifier, the studio and this website.

Builds the compiler, the Lean-checked verifier, the studio and this website, and runs the architecture studies behind the leaderboard.

I originated the project idea within the NQVL FTL project to design a compiler mapping user-level quantum circuits down to QCCD ion-trap hardware. Working alongside students across QEC, compilation, and hardware engineering, we developed a collaborative web platform where I focused on defining ion movement and gate primitives, analyzing fabrication constraints, and exploring 3D shuttling concepts.
Works through the studio's course as a first reader and reports what does not hold: found that the CNOT exercise in B2 asks for a merge no single waveform can perform, and that the compiler lesson's companion page was never published.
Reran our schedules for the Jones et al. layouts and found that they did not keep each qubit's gate order, which is why the compiler now never reorders an input circuit; checks the reproduced numbers against the papers.
Reads the Compilation and Reproduce pages line by line and asks what each term means: which checks ran, how capacity and fidelity are defined, and what the instructions look like written out in full.
Yuewen Hou is a third-year Ph.D. student at the University of Michigan. His research focuses on quantum error correction, classical simulation of quantum programs, and quantum algorithms.
Read the Compilation page as a newcomer and asked where its terms come from, whether the input is standard OpenQASM and what the dependency graph is, which the page now explains.
Leading Faculty
The faculty who lead the collaboration.

Professor and former chair of Computer Science at UCLA, working on programming languages, software engineering and quantum computing.

Leads the trapped-ion group at UC Berkeley, whose recent work includes ultra-low-noise and 3D-printed ion traps, control of a quantum rotor and trapped electrons.
Institutions

To be listed here, add yourself in a pull request, or open a thread on the Discuss page. Contributors to the code are also on GitHub's contributor graph. Contributors on GitHub →