Data structures for quantum circuit verification and how to compare them

Vinkhuijzen, L.T. (2025)

Doctoral Thesis

Quantum computers are a proposed fundamentally new type of computer. They aim to perform some computations much faster than previously possible by exploiting phenomena at the quantum scale, called superposition and entanglement. If and when large ones are be built, then they promise computational speedups for several important problems, notably in chemistry and physics, potentially contributing to important applications such as better medicines, batteries and solar panels, among others, thus contributing to and accelerating the transition to green energy and a sustainable economy. In order to realize these promises, we will need tools which analyze, simulate, compile, and verify these new computers and the algorithms that run on them. Meanwhile, of course, we still require tools to compile, analyze and verify classical software. The goal of this thesis is to contribute to a tool set for these two use cases.

• Quantum circuit verification
• Knowledge compilation
• Decision diagrams
• Formal methods
• Algorithms
• Quantum computing
• Quantum circuits
• Model checking
• Software verification
• Computational complexity

• All authors: Vinkhuijzen, L.T.
• Supervisor: Hoos, H.H.
• Co-supervisor: Laarman, A.W.; Coopmans, T.J.
• Committee: Tura Brugués, J.; Kleijn, H.C.M.; Plaat, A.; Fokkink, W.J.; Meel, K.S.; WIlle, R.
• Qualification: Doctor (dr.)
• Awarding Institution: Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University
• Date: 2025-02-25
• Title of host publication: IPA Dissertation Series
• Name: 2025-05