In quantum computing, the Gottesman–Knill theorem is a theoretical result by Daniel Gottesman and Emanuel Knill that states that an important subclass of quantum circuits, called stabilizer circuits, can be efficiently simulated on a classical computer. Stabilizer circuits are circuits that only use gates from the normalizer of the qubit Pauli group; this is referred to as the Clifford group, though this has nothing to do with the Clifford algebra.