LIACS Thesis Repository
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: this thesis repository might be incomplete for certain programmes.
Students supervised by Laarman, dr. A.W. (Alfons)
Note: the overview per supervisor is likely partially incomplete.
37 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| PhD Computer Science | 2024 | third supervisor | Hiep, H.A. (Hans-Dieter) | New Foundations for Separation Logic | |
| Master Computer Science | 2024 | third supervisor | Remmerswaal, F. (Floyd) | Validation & Simulation of Software-Defined Network Specifications in ... | |
| Master Computer Science | 2024 | first supervisor | Blankestijn, M. (Max) | Solving Incrementally Harder Instances with Incremental Property Direc... | |
| Bachelor Informatica | 2024 | first supervisor | Baarsen, S.T.A.N. van (Stan) | Using Binary Decision Diagrams for Exploring Graph State Orbits | |
| Bachelor Informatica | 2024 | first supervisor | Roestenburg, M. (Melvin) | Optimal Graph-State Preparation for Quantum Computers with SAT-Solvers | |
| Bachelor Informatica | 2023 | supervisor | Schuitemaker, R. (Ruben) | Quantum Money from Knots [IW] | |
| Bachelor Informatica | 2023 | second supervisor | Bingen, Z.A. (Zahir) | Verification of Combinational and Sequential Circuits in LEAN3 | |
| Bachelor Informatica | 2023 | second supervisor | Vertegaal, L. (Lieke) | Vecs2Pauli - An Algorithm for Finding Stabilizers and Transformations ... | |
| Master Computer Science | 2022 | second supervisor | Visser, L. | Near-term quantum algorithms for regression, overfitting analysis and ... | |
| Bachelor Informatica | 2022 | first supervisor | Allison, L. (Lucas) | Proxy Caching in Accenture’s Employee Evolution Tree Project | |
| Bachelor Informatica | 2022 | first supervisor | Vink, E. (Elze) de | Solving Breakthrough Using Binary Decision Diagrams and Retrograde Ana... | |
| Bachelor Informatica | 2022 | first supervisor | Zwart, M. (Michael) van der | A Library for BDDs and SDDs | |
| Master Computer Science | 2021 | second supervisor | Dekkers, Cas | Designing Information Visualizations for Generating Business Value in ... | |
| Master Computer Science | 2021 | second supervisor | Vlasakker, Rintse van de | Operational Semantics of GHOPFL | |
| Master Computer Science | 2021 | first supervisor | Swenne, Martijn | New Decision Diagram-based Techniques for the Simulation of Quantum Co... | |
| Bachelor Informatica & E... | 2021 | third supervisor | Kubatz, L. | Involving the crowd in Requirements Engineering | |
| Bachelor Informatica | 2021 | first supervisor | Egmond, D. (Diego) van | Efficient conversion between vtrees | |
| Bachelor Informatica | 2021 | first supervisor | Kolenbrander, M. (Marcel) | The Design of a Modular Game Platform for the QuantumRules! Lab | |
| Master Computer Science | 2020 | first supervisor | Zandvliet, Jos | Adapting IC3 for Combinatorial Two-Player Games | |
| Bachelor Informatica & E... | 2020 | second supervisor | Driessen, R. | UML Class Models as First-class Citizen: Metadata at Design-time and R... | |
| Bachelor Informatica | 2020 | first supervisor | Bak, R. (Romke) | Finding Shortest Paths in Parallel | |
| Bachelor Informatica | 2020 | first supervisor | Marchand, Y. (Yannik) | Towards Parallel Generation of DFS Orders Using Verifiers | |
| Bachelor Informatica | 2020 | first supervisor | Wanjun Xu, C. (Cassie) | Efficient Parallel Cycle Detection | |
| Master Computer Science | 2019 | second supervisor | Brand, Sebastiaan | Waiting Time in Quantum Repeater Chains | |
| Master Computer Science | 2019 | second supervisor | Edixhoven, L. (Luc) | Checkerboard Patterns and Binary Decision Diagrams for the Game 2048 | |
| Master Computer Science | 2019 | second supervisor | Mardirosian, Sevak | Quantum-enhanced Supervised Learning with Variational Quantum Circuits | |
| Master Computer Science | 2019 | second supervisor | Xu, Yuanmin | Formal Analysis and Improvement of the PKMv3 and 5G AKA Protocols | |
| Master Computer Science | 2019 | first supervisor | Dijk, Stef van | Solving Othello using BDDs | |
| Master Computer Science | 2019 | first supervisor | Huybers, Richard | A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimiza... | |
| Bachelor Informatica & E... | 2019 | first supervisor | Bakker, T.B. | Microgrid Blockchain Enabled Solar Panel Electricity Trading | |
| Bachelor Informatica & E... | 2019 | first supervisor | Randel, O.R. | Petri Nets & Property Directed Reachability | |
| Bachelor Informatica | 2019 | second supervisor | Campmans, A.J. (Tony) | (In)effciënte Bewijsstrategieën | |
| Bachelor Informatica | 2019 | second supervisor | Swenne, M.M. (Marijn) | Solving SAT on Noisy Quantum Computers | |
| Bachelor Informatica | 2019 | first supervisor | Jong, R.G. (Rachel) de | Comparing Two Algorithms for Finding Maximal Matchings in Bipartite Gr... | |
| Bachelor Informatica & E... | 2018 | second supervisor | Meijerink, C.J.H. | Quantum Rules! | |
| Bachelor Informatica | 2018 | first supervisor | Steffens, B. (Benjamin) | Dynamic Reductions for More Efficient Software Verification | |
| Bachelor Informatica | 2018 | first supervisor | Wester, M. (Martijn) | Depth First Search Characterizations |