Integrating Dynamic Lifting into Qiskit

In the realm of quantum computing, the promise of solving once infeasible problems using insights gained from quantum theory captivates the imagination. This thesis addresses the challenge of designing quantum algorithms, focusing on enhancing the flexibility of the Qiskit framework by introducing dynamic lifting. Dynamic lifting allows for conditional quantum operations, improving the ergonomics of algorithm design. The present research involves exploring quantum theory, the quantum circuit model, and the implementation of dynamic lifting in Qiskit. Practical demonstrations, including Quantum Teleportation and Error Correction, highlight the improved capabilities. This thesis also lays the groundwork for a formal language definition, contributing to the advancement of tools for developing quantum algorithms.