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 and years.
Students supervised by Hoos, prof.dr. H.H. (Holger)
Note: the overview per supervisor is likely partially incomplete.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| PhD Computer Science | 2025 | first supervisor | Köning, H.M.T. (Matthias) | Automated Machine Learning for Neural Network Verification | |
| PhD Computer Science | 2025 | first supervisor | Renting, B.M. (Bram) | Learning in Automated Negotiation | |
| PhD Computer Science | 2025 | first supervisor | Vinkhuijzen, L.T. (Lieuwe) | Data Structures From Quantum Circuit Verification And How To Compare T... | |
| Master Computer Science | 2025 | first supervisor | Jiang, K. (Kaiteng) | Multimodal Self-supervised Music Genre Classification with Audio and L... | |
| PhD Computer Science | 2024 | second supervisor | Wang, C. (Can) | Automated Machine Learning for Dynamic Energy Management using Time-Se... | |
| Master Computer Science | 2024 | third supervisor | Oberkofler, T.F. (Tobias) | On Adaptive Multi-Modal Trajectory Prediction | |
| Master Computer Science | 2024 | third supervisor | Shavit, H. (Hadar) | Algorithm Selection for SAT Using Graph Neural Networks | |
| Master Computer Science | 2024 | second supervisor | Kareem, J. (Jasmin) | Per-instance Algorithm Selection for MIP-based Neural Network Verifica... | |
| Master Computer Science | 2024 | second supervisor | Spek, C. (Corné) | Auto-Verify: A framework for portfolio-based neural network verificati... | |
| Bachelor Informatica | 2024 | second supervisor | Collenburg, S. van (Sven) | Automated Machine Learning for Sea Ice Concentration Charting | |
| Master Computer Science | 2023 | second supervisor | Toussaint, G. | Content-agnostic cascade-wise ranking of Fake News on Online Social Me... | |
| Bachelor Informatica | 2023 | second supervisor | Vermeulen, S.C. (Sam) | Self-Monitoring Automated Algorithm Configuration | |
| PhD Computer Science | 2022 | promotor | Latour, A.L.D. (Anna) | Optimal Decision Making under Constraints and Uncertainity | |
| Master ICT in Business a... | 2022 | second supervisor | Zetten, van Wessel | Interpretable Machine Learning and Bias Detection for Machine Learning... | |
| Master Computer Science | 2022 | second supervisor | Schlender, T. | The Bigger Fish A comparison of state-of-the-art QSAR models on low re... | |
| Master Computer Science | 2022 | second supervisor | Snelleman, T. | Coronary Artery Extraction using Geometrical Deep Learning on Medical ... | |
| Master Computer Science | 2022 | second supervisor | Tetteroo, J. | Automated machine learning for COVID-19 forecasting | |
| Master Computer Science | 2021 | second supervisor | Arp, Laurens | A Markov Reward Process-Based Approach to Spatial Interpolation | |
| Master Computer Science | 2021 | second supervisor | Dong, Siyuan | Learning Transferable Architectures for Image Denoising | |
| Master Computer Science | 2021 | second supervisor | Ottervanger, Giles | MultiETSC: Automated Machine Learning for Early Time Series Classifica... | |
| Master Computer Science | 2021 | first supervisor | Rook, Jeroen | Caching in Model Counters: A Journey through Space and Time | |
| Bachelor Informatica & E... | 2021 | second supervisor | Middelkoop, R. | Parallel algorithm portfolios in Sparkle | |
| Master Media Technology | 2020 | first supervisor | König, M. | Cascaded Fine-Tuning of Deep Convolutional Neural Networks for Age Est... | |
| Master Computer Science | 2020 | first supervisor | Fokkinga, Daniël | Programming a Stochastic Constraint Optimisation Algorithm, by Optimis... | |
| Bachelor Informatica | 2020 | second supervisor | Avoird, S. (Stan) van der | Prediction and Technical Analysis of the Bitcoin Crypto Currency Using... | |
| Bachelor Informatica | 2020 | second supervisor | Meijhuis, M.J. (Mark) | Using Machine Learning to Predict Price Trends in Foreign Exchange Rat... | |
| Master Computer Science | 2019 | first supervisor | Engelen, Jesper van | Semi-supervised Ensemble Learning | |
| Bachelor Informatica & E... | 2019 | second supervisor | Schut, F.G.B. | Machine Learning and Technical Analysis for Foreign Exchange Data with... | |
| Bachelor Informatica & E... | 2018 | first supervisor | Ottervanger, Gilles B. | ACE: Academic Collaboration Explorer. An Author-centered View on Acade... | |
| Bachelor Informatica | 2018 | first supervisor | Burggraaf, F (Florijn) | Predicting Scientific Impact |