Harsha Nagarajan is currently a staff scientist in the “Applied Mathematics and Plasma Physics” group at Los Alamos National Laboratory (LANL). His research interests include development of efficient formulations and algorithms for modeling, design and control of complex physical systems.
A key aspect for operating near-term intermediate-scale quantum (NISQ) computers is to develop compact circuits to implement quantum algorithms, given the hardware's architectural constraints. Efficient formulations and algorithms to solve such hard optimization problems with optimality guarantees is a key in designing such NISQ devices. This talk provides an overview of QuantumCircuitOpt.jl, a software package developed at LANL for provably optimal synthesis of architecture for Quantum circuits