PhD Computer Science



The following thesis was written by a student in the 2025 class of the PhD Computer Science programme at Leiden University.


Thesis details

TitleData Structures From Quantum Circuit Verification And How To Compare Them
StudentVinkhuijzen, (Lieuwe)
ProgrammePhD Computer Science
Year2025
SupervisorsHoos, prof.dr. H.H. (Holger)
Laarman, dr. A.W. (Alfons)
dr. T. Coopmans (third supervisor)

Citation details

Vinkhuijzen, (Lieuwe), Data Structures From Quantum Circuit Verification And How To Compare Them, Thesis PhD Computer Science, LIACS, Leiden University, 2025.