In this thesis, we are concerned with the problem of characterizing noise associated with implementations of quantum circuits. We first explore the notion of error rates of quantum circuits and argue that the semantic ...