The three-year Technical Computer Science programme is a balanced all-round program
that turns fascination of computers into concrete knowledge and technical expertise.
The two-year Computer Science programme is less technical only in the name,
and focuses on the development of ICT systems, as well as on their societal
context. It offers four specialisations: Software Technology with a bias towards
software engineering and modelling; Cyber Security with a bias towards data management
and analytics; Data Science and Technology with a bias towards machine learning;
and Internet Science and Technology with a bias towards ubiquitous computing.
Timeline
I joined the Formal Methods & Tools
group as an Associate Professor of software evolution in July 2021, with the intention
also to strenthen the teaching capabilities of an already advanced team.
I started co-teaching the first MSc course in September 2020, co-teaching the first BSc course in November 2020, and did the first solo MSc course in February 2021.
From May 2021, I am the Programme Director of both BSc TCS and MSc CS.
At the yearly graduation ceremonies of BSc TCS, when handling out diplomas, I have prepared and delivered
66 (in 2021),
77 (in 2022),
108 (in 2023),
114 (in 2024),
and
133 (in 2025)
personal congratulatory speeches, partially based on feedback provided by supervisors.
Publications based on student work (by acceptance date, latest first)
Iman Hemati Moghadam,
Oebele Lijzenga,
Vadim Zaytsev.
Comparative Analysis of Pre-Trained Models for Automated Program Repair via Code Infill Generation,
GPCE 2025.
(DOI)
Iman Hemati Moghadam,
Oebele Lijzenga,
Vadim Zaytsev.
Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair,
SAC/SE 2025.
(DOI)
Stijn Broekhuis,
Vadim Zaytsev.
Improving JSON Schema Inference by Incorporating User Inputs,
BENEVOL 2024. CEUR 3941. March 2025.
(CEUR)
Sophie Lathouwers,
Yujie Liu,
Vadim Zaytsev.
Extract, Model, Refine: Improved Modelling of Program Verification Tools through Data Enrichment.
SoSyM,
January 2025.
(DOI)(q.v.: ProVerB)
Iman Hemati Moghadam,
Matthias Sleurink,
Vadim Zaytsev.
Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings.
ICCTA 2024. August 2024.
(DOI)(data)
Marcus Gerhold,
Lola Solovyeva,
Vadim Zaytsev.
The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning, SANER 2024. RENE track. July 2024.
(DOI)
Marcus Gerhold,
Lola Solovyeva,
Vadim Zaytsev.
Leveraging Deep Learning for Python Version Identification, BENEVOL 2023. CEUR 3567. November 2023.
(CEUR)
November 2025 – February 2026(Canvas);
coordinator: Fernando Castor de Lima Filho;
my role: exam co-design, re-recording some microlectures, lectorials corresponding to microlectures;
people involved: Petra van den Bos, Marcus Gerhold, many others for grading
November 2024 – January 2025(Canvas);
coordinator: Tom van Dijk;
my role: exam co-design, lectorials corresponding to microlectures;
people involved: Petra van den Bos, Marcus Gerhold, many others for grading
November 2023 – February 2024(Canvas);
coordinator: Tom van Dijk;
my role: exam design, re-recording some microlectures, lectorials corresponding to microlectures;
people involved: Petra van den Bos, Marcus Gerhold, others for the Programming part
November 2022 – January 2023(Canvas);
coordinator: Tom van Dijk;
my role: exam design, Q&A sessions corresponding to pre-recorded microlectures;
people involved: Marcus Gerhold, Peter Lammich, others for the Programming part
November 2021 – January 2022(Canvas);
coordinator: Tom van Dijk;
my role: exam design, Q&A sessions corresponding to pre-recorded microlectures;
people involved: Marcus Gerhold, Peter Lammich, others for the Programming part
November 2020 – January 2021(Canvas)(IDEA);
coordinator: Tom van Dijk;
my role: course redesign, all microlectures for the Design half, some microlectures for the Programming part, corresponding Q&A sessions;
people involved: Marcus Gerhold, others for the Programming part
(BSc) Design Project
September–November 2025(Canvas);
(link);
coordinator: Rom Langerak;
my role: guiding one group together with Nhat;
students involved:
Lisa te Braak,
Wouter van Gent,
Edwin Martens,
Maria Sandu,
Leonard Fabian Ţabrea,
Max van Zanten.
February–April 2025(Canvas);
(link);
coordinator: Rom Langerak;
my role: guiding one group together with Ömer Sayilir and Aimé Ntagengerwa;
students involved:
Diana Bîrjoveanu,
Ana Gavra,
Ovidiu Lascu,
Florin Priboi,
Răzvan Ştefan,
Alexandru Zambori.
September–November 2023(Canvas);
(link);
coordinator: Rom Langerak;
my role: guiding one group together with Iman Hemati Moghadam;
students involved:
Alen Badrajan,
Yancho Bozhilov,
Ujjwal Dodeja,
Jose Gavilanes,
Georgios Valtas.
February–April 2023(Canvas);
(link);
coordinator: Rom Langerak;
my role: guiding one group;
students involved:
André Andringa,
Maouheb Bessi,
Marc Souvannasouck,
Jelle Veldmaat,
Cristian Zubcu.
September–November 2022(Canvas);
(link);
coordinator: Rom Langerak;
my role: guiding one group;
students involved:
Samuel Coste,
Hans Goor,
Tim Koree,
Ronan Oostveen,
Reinout Vos.
February–April 2022(Canvas);
(link);
coordinator: Rom Langerak;
my role: guiding one group;
students involved:
Boris Belchev,
Pavel Hristov,
Viktor Tonchev,
Ivan Trendafilov,
Irvine Verio.
September–November 2021(Canvas);
(link);
coordinator: Rom Langerak;
my role: guiding one group;
students involved:
Aamir Farooq,
Julián Navarro Di Pasquale,
Andrei Raureanu,
Bozhidar Velinov.
(BSc) Programming Paradigms / Compiler Construction
April–June 2024(Canvas);
coordinator: Arnd Hartmanns;
my role: giving four lectures on graph-based IR, linear IR, call graphs, activation records, parameter passing and memory layout; exam co-design;
people involved: Iman Hemati Moghadam
Current students (by start date; dim if not the main supervisor)
(CS MSc) Michael Janssen, Process Mining
(CS MSc) Floris Heinen, transpilation
(ScE MSc) Wouter van den Brink, modernity and quality of software — co-supervised with Marcus Gerhold
