Transversal gates
How can quantum codes protect information while allowing logical operations? With Kenneth R. Brown, I constructed CSS codes that implement a logical CCZ gate through physical transversal T/T† gates, using projective geometry and SAT solvers. Paper · Code and data