Compilation strategies for local and distributed quantum computing

Current quantum processors are noisy, have limited coherence and imperfect gate implementations. Quantum Compilation is the problem translating an input program into the most efficient equivalent of itself, getting the most out of the available hardware. In this Thesis we present different compilation strategies for local and Distributed Quantum Computing. The goal is the design of a general-purpose quantum compilation framework, bridging the gap between compilation for local and distributed quantum computing.