Towards Efficient Reasoning of Quantum Programs
In quantum computing, the basic unit of information is a qubit. Simulation of a general quantum program takes exponential time in the number of qubits, which makes simulation infeasible beyond 50 qubits on current supercomputers. So, to understand larger programs, we turn to static techniques. This talk will briefly overview recent efforts to develop static methods for quantum programming.