The automated design of sequences of quantum operations (gates) to achieve a desired computation or state.