COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation

Robert Rand

Assistant Professor of Computer Science

My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation.