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/MScStaffProgrammesECTSLevelPeriod
2026‑2027Algoritmiek (4031ALGX6Y)BScVliet, dr. R. vanInf6200
2026‑2027Formele Talen en Berekenbaarheid (4032FTBERY)BScVliet, dr. R. vanInf6200
2026‑2027Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2200
2025‑2026Algoritmiek (4031ALGX6Y)BScVliet, dr. R. vanInf6200
2025‑2026Formele Talen en Berekenbaarheid (4032FTBERY)BScVliet, dr. R. vanInf6200
2025‑2026Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2200
2024‑2025Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6200
2024‑2025Automata Theory (4032AUTTH)BScBergh, dr. M.J.H. van den, Vliet, dr. R. vanInf, DSAI6200
2024‑2025Computability (4032CMPBE)BScVliet, dr. R. vanInf3300
2023‑2024Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6200
2023‑2024Automata Theory (4032AUTTH)BScPapuc, Ir. D., Vliet, dr. R. vanInf, BioInf, DSAI6200
2023‑2024Computability (4032CMPBE)BScVliet, dr. R. vanInf3300
2023‑2024Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2200
2022‑2023Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6200
2022‑2023Automata Theory (4032AUTTH)BScVliet, dr. R. vanInf, DSAI6200
2022‑2023Computability (4032CMPBE)BScVliet, dr. R. vanInf3300
2021‑2022Algoritmiek (4031ALGO6)BScVliet, dr. R. vanInf6200
2021‑2022Automata Theory (4032AUTTH)BScVliet, dr. R. vanInf6200
2021‑2022Computability (4032CMPBE)BScVliet, dr. R. vanInf3300
2021‑2022Voorbereiding Programmeerwedstrijden (4032VPRW2)BScVliet, dr. R. vanInf2200
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.