Currently browsing

Data Structures for Quantum Circuit Verification and How To Compare Them

Lieuwe Vinkhuijzen Promotor: prof. dr. Holger Hoos (UL) Copromotors: dr.ir. Alfons Laarman (UL) and dr.ir. Tim Coopmans (UL) Leiden University Date: 22 February 2025 Thesis: PDF will follow Summary Quantum computers are a proposed fundamentally new type of computer. They aim to perform some computations much faster than previously possible …