Leiden University

LIACS Thesis Repository

Leiden University

These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science (LIACS), the computer science and artificial intelligence department of Leiden University.

Note: the overview per supervisor is likely partially incomplete.


Year Student ThesisSupervisorsProgrammeContent
2025Vinkhuijzen, L.T. (Lieuwe)Data Structures From Quantum Circuit Verification And How To Compare T...Hoos, prof.dr. H.H., Laarman, dr. A.W., dr. T. CoopmansPhD
2024‑2025Allison, L. (Lucas)Quantum Circuit Equivalence Verification Using the Generalized Stabili...Laarman, dr. A.W., dr. J.J.M. MartensCS
2024‑2025Ende, D. van den (Dirck)Quantum Computation using Weighted Model Counting With Applications in...Laarman, dr. A.W., Dr. J.H. LeeCS
2024‑2025Zak, D. (Dekel)A Model Counting Approach to Depth-Optimal Quantum Circuit SynthesisLaarman, dr. A.W., Dr. J. Lagniez, J. MeiCS
2024‑2025Hoor, O. ten (Olivier)Exploring the Effectiveness of SMT Solving for Proving and Disproving ...Laarman, dr. A.W., A. Quist MScInf
2024‑2025Zuijderduijn, T. (Tim)Fineman’s Parallel Digraph Reachability in PracticeLaarman, dr. A.W., S. HegemanInf
2024Hiep, H.A. (Hans-Dieter)New Foundations for Separation LogicBoer de, prof.dr. F.S., Gouw, Laarman, dr. A.W.PhD
2023‑2024Remmerswaal, F. (Floyd)Validation & Simulation of Software-Defined Network Specifications in ...Basold, dr. H., Bonsangue, prof.dr. M.M., Laarman, dr. A.W.CS
2023‑2024Blankestijn, M. (Max)Solving Incrementally Harder Instances with Incremental Property Direc...Laarman, dr. A.W., Dr. T. Coopmans, QuistCS
2023‑2024Baarsen, S.T.A.N. van (Stan)Using Binary Decision Diagrams for Exploring Graph State OrbitsLaarman, dr. A.W., S.O. BrandInf
2023‑2024Roestenburg, M. (Melvin)Optimal Graph-State Preparation for Quantum Computers with SAT-SolversLaarman, dr. A.W., BrandInf
2022‑2023Schuitemaker, R. (Ruben)Quantum Money from Knots [IW]dr. P.J. Bruin, Laarman, dr. A.W.Inf
2022‑2023Bingen, Z.A. (Zahir)Verification of Combinational and Sequential Circuits in LEAN3Hiep, dr. H.D., Laarman, dr. A.W.Inf
2022‑2023Vertegaal, L. (Lieke)Vecs2Pauli - An Algorithm for Finding Stabilizers and Transformations ...Coopmans, Laarman, dr. A.W.Inf
2021‑2022Visser, L.Near-term quantum algorithms for regression, overfitting analysis and ...Dunjko, prof.dr. V., Laarman, dr. A.W.CS
2021‑2022Allison, L. (Lucas)Proxy Caching in Accenture’s Employee Evolution Tree ProjectLaarman, dr. A.W., Uta, dr. A., G. MartinezInf
2021‑2022Vink, E. (Elze) deSolving Breakthrough Using Binary Decision Diagrams and Retrograde Ana...Laarman, dr. A.W., Kosters, dr. W.A.Inf
2021‑2022Zwart, M. (Michael) van derA Library for BDDs and SDDsLaarman, dr. A.W., Kosters, dr. W.A.Inf
2020‑2021Dekkers, CasDesigning Information Visualizations for Generating Business Value in ...Verbeek, prof.dr.ir. F.J., Laarman, dr. A.W.CS
2020‑2021Vlasakker, Rintse van deOperational Semantics of GHOPFLBasold, dr. H., Laarman, dr. A.W.CS
2020‑2021Swenne, MartijnNew Decision Diagram-based Techniques for the Simulation of Quantum Co...Laarman, dr. A.W., Dunjko, prof.dr. V.CS
2020‑2021Kubatz, L.Involving the crowd in Requirements EngineeringOfferman, T., Leeuwen van, prof.dr. M., Laarman, dr. A.W.I&E
2020‑2021Egmond, D. (Diego) vanEfficient conversion between vtreesLaarman, dr. A.W., L. VinkhuijzenInf
2020‑2021Kolenbrander, M. (Marcel)The Design of a Modular Game Platform for the QuantumRules! LabLaarman, dr. A.W., dr. H.P. BuismanInf
2019‑2020Zandvliet, JosAdapting IC3 for Combinatorial Two-Player GamesLaarman, dr. A.W., Rijn van, dr. J.N.CS
2019‑2020Driessen, R.UML Class Models as First-class Citizen: Metadata at Design-time and R...Ramackers, dr. G.J., Laarman, dr. A.W.I&E
2019‑2020Bak, R. (Romke)Finding Shortest Paths in ParallelLaarman, dr. A.W., Vliet van, dr. R.Inf
2019‑2020Marchand, Y. (Yannik)Towards Parallel Generation of DFS Orders Using VerifiersLaarman, dr. A.W., L. VinkhuijzenInf
2019‑2020Wanjun Xu, C. (Cassie) Efficient Parallel Cycle DetectionLaarman, dr. A.W., Kosters, dr. W.A.Inf
2018‑2019Brand, SebastiaanWaiting Time in Quantum Repeater Chains dr. D. Elkouss, Laarman, dr. A.W., dr. T.J. CoopmansCS
2018‑2019Edixhoven, L. (Luc)Checkerboard Patterns and Binary Decision Diagrams for the Game 2048Kosters, dr. W.A., Laarman, dr. A.W.CS
2018‑2019Mardirosian, SevakQuantum-enhanced Supervised Learning with Variational Quantum CircuitsDunjko, prof.dr. V., Laarman, dr. A.W., C. v.d. StruijfCS
2018‑2019Xu, YuanminFormal Analysis and Improvement of the PKMv3 and 5G AKA ProtocolsBonsangue, prof.dr. M.M., Laarman, dr. A.W.CS
2018‑2019Dijk, Stef vanSolving Othello using BDDsLaarman, dr. A.W., Dunjko, prof.dr. V.CS
2018‑2019Huybers, RichardA Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimiza...Laarman, dr. A.W., Wijshoff, prof.dr. H.A.G.CS
2018‑2019Bakker, T.B.Microgrid Blockchain Enabled Solar Panel Electricity TradingLaarman, dr. A.W., A. PitkevichI&E
2018‑2019Randel, O.R.Petri Nets & Property Directed ReachabilityLaarman, dr. A.W., Cao, dr. L.I&E
2018‑2019Campmans, A.J. (Tony)(In)effciënte BewijsstrategieënL. Vinkhuijzen, Laarman, dr. A.W.Inf
2018‑2019Swenne, M.M. (Marijn)Solving SAT on Noisy Quantum ComputersDunjko, prof.dr. V., Laarman, dr. A.W.Inf
2018‑2019Jong, R.G. (Rachel) deComparing Two Algorithms for Finding Maximal Matchings in Bipartite Gr...Laarman, dr. A.W., L. VinkhuijzenInf
2017‑2018Meijerink, C.J.H.Quantum Rules!dr. H.P. Buisman, Laarman, dr. A.W.I&E
2017‑2018Steffens, B. (Benjamin)Dynamic Reductions for More Efficient Software VerificationLaarman, dr. A.W., Kleijn, prof.dr. H.C.M.Inf
2017‑2018Wester, M. (Martijn)Depth First Search CharacterizationsLaarman, dr. A.W., L.T. VinkhuijzenInf