Programming Languages Seminar: Abtin Molavi

"Quantum programs can be tricky to write and debug because of the unintuitive semantics of quantum operations. To ease this burden, we would like to develop automated tools that synthesize quantum programs. Recent work has tackled this problem at the circuit level, but this general approach fails to scale beyond a few qubits. Moreover, by considering individual circuits, we cannot capture the inductive structure of many natural quantum algorithms that are parameterized by qubit count."