LIACS

Education @LIACS

Leiden University

These webpages contain information on the various educational programmes and courses offered at or by the Leiden Institute of Advanced Computer Science (LIACS), the computer science and artificial intelligence department of Leiden University.

Vliet, dr. R. van

This page is for internal use at LIACS only. The information below may be incomplete.

Courses
YearCourseBSc/MScStaffAssistantsProgrammesECTSPeriod
2026‑2027Algoritmiek (4031ALGX6Y)BScVliet, dr. R. vanInf6
2026‑2027Formele Talen en Berekenbaarheid (4032FTBERY)BScVliet, dr. R. vanInf6
2026‑2027Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2
2025‑2026Algoritmiek (4031ALGX6Y)BScVliet, dr. R. vanInf6
2025‑2026Formele Talen en Berekenbaarheid (4032FTBERY)BScVliet, dr. R. vanInf6
2025‑2026Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2
2024‑2025Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6
2024‑2025Automata Theory (4032AUTTH)BScBergh, dr. M.J.H. van den, Vliet, dr. R. vanInf, DSAI6
2024‑2025Computability (4032CMPBE)BScVliet, dr. R. vanInf3
2023‑2024Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6
2023‑2024Automata Theory (4032AUTTH)BScPapuc, Ir. D., Vliet, dr. R. vanInf, BioInf, DSAI6
2023‑2024Computability (4032CMPBE)BScVliet, dr. R. vanInf3
2023‑2024Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2
2022‑2023Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6
2022‑2023Automata Theory (4032AUTTH)BScVliet, dr. R. vanInf, DSAI6
2022‑2023Computability (4032CMPBE)BScVliet, dr. R. vanInf3
2021‑2022Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6
2021‑2022Automata Theory (4032AUTTH)BScVliet, dr. R. vanInf6
2021‑2022Computability (4032CMPBE)BScVliet, dr. R. vanInf3
2021‑2022Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2
Supervised theses

Information below is sourced from the LIACS Thesis Repository.

Year Student Thesis Supervisors Programme
2025‑2026Lelipaly, J. (Joshua)How to Solve and Generate Numberlink Puzzles Using SATBergh, dr. M.J.H. van den, Vliet, dr. R. vanInf
2025‑2026Prooijen, S. van (Simon)Constructing Maximally Difficult Sliding-Block Puzzles Using State Spa...Vliet, dr. R. van, Bergh, dr. M.J.H. van denInf
2024‑2025Behari, R. (Ryan)Solving Fillomino: An Algorithmic and SMT-Based ApproachGraaf, dr. J.M. de, Vliet, dr. R. vanInf
2024‑2025Elderbroek, L. (Liam)Constructing a Forward-Looking Adaptation of Retrograde Analysis Throu...prof.dr. F.M. Spieksma, Vliet, dr. R. vanInf
2024‑2025Waart, J. de (Jente)Comparing Different Encodings for the Continuity Rule of the Logic Puz...Hoogeboom, dr. H.J., Vliet, dr. R. van, Bergh, dr. M.J.H. van denInf
2024‑2025Witteveen, E. (Eef)The Crew: a Strategy AnalysisProf.dr. F.M. Spieksma, Vliet, dr. R. vanInf
2023‑2024Staal, R. (Robin)Decoding the Code-breaking Game of SymbleVliet, dr. R. van, Rijn, dr. J.N. vanInf
2023‑2024Verwaal, T. (Thomas)Analysing the Maximum and Minimum Scores in Azul and the Orders in Whi...Vliet, dr. R. van, Edixhoven, dr. L.J.Inf
2022‑2023Braam, I. (Isaac)BlockStep, An A* Algorithm toward Minecraft Optimal World Traversal fo...Vliet, dr. R. van, Rijn, dr. J.N. vanDSAI
2022‑2023Berg, P. van den (Perri)Exploring Optimal Strategies for Dice of DoomVliet, dr. R. van, Graaf, dr. J.M. deInf
2022‑2023Kooistra, S. (Sara)Achieving the Maximal Score in AzulVliet, dr. R. vanInf
2020‑2021Burgh, R. (Rogier) van den Bomb-r-cover Expanding the difficulties of BombermanVliet, dr. R. van, Hoogeboom, dr. H.J.Inf
2019‑2020Bak, R. (Romke)Finding Shortest Paths in ParallelLaarman, dr. A.W., Vliet, dr. R. vanInf
2018‑2019Graaf, S. (Sylvester) deCracking the Mastermind CodeVliet, dr. R. van, Rijn, dr. J.N. vanInf
2018‑2019Jonckheere, L.S. (Luc) deEfficiently Generating the Mandelbrot and Julia SetsVliet, dr. R. van, Rietveld, dr. K.F.D.Inf
2018‑2019Vlasakker, R.A. (Rintse) van de Bomb-cover Een verzamelingenoverdekkings-probleem in de Bombermanwerel...Vliet, dr. R. van, Hoogeboom, dr. H.J.Inf
2017‑2018Drogtrop, J. (Jimmy)Comparing Different Agents in the Game of RiskVliet, dr. R. van, Graaf, dr. J.M. deInf
2016‑2017Heijungs, S. (Simon)Tape-quantifying Turing Machines in the Arithmetical HierarchyHoogeboom, dr. H.J., Vliet, dr. R. vanInf
2016‑2017Klijn, M. (Michel)A Perfect Information Scrabble GameVliet, dr. R. van, Graaf, dr. J.M. deInf
2016‑2017Muusse, I.J. (Ivo)An Algorithm for Balancing a Binary Search TreeHoogeboom, dr. H.J., Vliet, dr. R. vanInf
2015‑2016Lopes Carreiro, V. (Vanessa)Examining Different Strategies for the Card Game SuecaKosters, dr. W.A., Vliet, dr. R. vanI&E
2015‑2016Huybers, R. (Richard)Mario (of hoe je een Programmeerwedstrijd kunt Winnen)Vliet, dr. R. van, Hoogeboom, dr. H.J.Inf

Page maintained by LIACS Education Management (edu-mt@liacs.leidenuniv.nl) for internal use at LIACS.