Quantum Computing, Fault Tolerance, Error Correction, Logical Qubits.
simulator for 4 to 44 qubits. Need for automated tools to examine an algorithm and mathematically prove that if it works for 4 to 44 qubits on a simulator or real hardware, then it will work correctly for more than 44 qubits on real hardware. Proof that the algorithm is scalable. Especially tricky