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.
- From June 2021, I am responsible for introducing Numerus Fixus for BSc TCS.
(U-Today)
(UT News)
(U-Today)
(U-Today)
(U-Today)
Publications based on student work (by acceptance date)
- Aamir Farooq, Vadim Zaytsev.
There Is More Than One Way to Zen Your Python, SLE 2021, pp. 68–82, ACM.
(project page)
(DOI)
- Marnick van der Arend.
Language-Agnostic Multi-Paradigm Code Quality Assurance Framework, BENEVOL 2022. CEUR 3245.
(PDF)
(CEUR)
- Wouter van den Brink, Marcus Gerhold, Vadim Zaytsev.
Deriving Modernity Signatures for PHP Systems with Static Analysis, SCAM 2022, pp. 181–185, IEEE.
(code)
(DOI)
- Arthur Rump, Vadim Zaytsev.
A Refined Model of Ill-definedness in Project-Based Learning, EduSymp 2022, pp. 115–122, ACM.
(DOI)
(blog)
- Daniël Floor,
Rinse van Hees,
Vadim Zaytsev.
Code Comprehension in a Multi-Paradigm Environment, SATToSE 2023. CEUR 3483.
(CEUR)
- Rutger Witmans, Vadim Zaytsev.
Perfecting Nothingness by Refactoring Whitespace, SATToSE 2023. CEUR 3483.
(code)
(CEUR)
- Mart van Assen,
Aimé Ntagengerwa,
Ömer Sayilir,
Vadim Zaytsev.
Crossover: Towards Compiler-Enabled COBOL-C Interoperability, GPCE 2023, ACM.
(code)
(PDF)
Publications / presentations on educational topics (by presentation date)
- The Art of Distancing, Computer Science Educational Day, 21 January 2021.
- DEUS VULT: The Holy Wars of Computer Science, Inter-Actief Lecture, 30 November 2021.
- 32 Hour Curriculum, student—teacher debate, Month of Education, 2 June 2022.
Supervised students (by defence date)
- (TCS BSc) Joël Ledelay. Retrofitting Memoization: An Exploratory Study. November 2020 – January 2021. Co-supervised with Eldir Tomassen.
- (TCS BSc) Ewout van der Wal. Rosetta ANTLR: Ultimate Grammar Extractor. November 2020 – January 2021. Best Paper Award at TScIT34.
(code)
- (TCS BSc) Frank Groeneveld. Benchmarking and Optimisation of Engage!-based XML Parsers. November 2020 – January 2021.
- (TCS BSc) Michael Mulder. Creating a Compiler for the Semi-Structured Language of Blazons. November 2020 – January 2021.
- (EmSys CS) Pieter Staal, Electronic Circuit Composition in Haskell using Category Theory. September 2020 – June 2021. (book)
- (TCS BSc) Aamir Farooq. How to Zen Your Python. April–July 2021. Best Paper Award at TScIT35.
- (TCS BSc) Marten Voorberg. Performance Analysis of Membership Data Structures for Integers in Java. April–July 2021. Best Paper Nomination at TScIT35.
- (TCS BSc) Jan Douwe Beekman. Procedural Location Generation with Weighted Attribute Grammars. April–July 2021. Co-supervised with Marcus Gerhold.
- (TCS BSc) Ruiyuan Li. Generative Probabilistic Programming in Games: Creating Character Backgrounds Using a Bayesian Network. April–July 2021. Co-supervised with Marcus Gerhold.
- (CS MSc) Rick H. de Vries. Clash of Clangs: Differential Testing of srcML and Clang. October 2020 – July 2021.
- (CS MSc) Bui Hong Thien Nhat. Negomancer: Improvise. Adapt. Overcome. Transform. November 2020 – September 2021.
- (TCS BSc) Ivo Broekhof. Replication and Analysis of the Berry-Sethi Parser for Ambiguous Regular Expressions. November 2021 – February 2022.
(code)
- (EE IM) Daan Martin Oosterveld, Creating a C compiler 50 years after C using Rust and procedural macros. November 2021 – February 2022.
(code)
- (TCS BSc) Yujie Liu, Help Rich Info Get Richer: Enriching a Semi-structured Dataset using a Semantic Web Approach. April–July 2022. Co-supervised with Sophie Lathouwers.
- (TCS BSc) Cato de Kruif, Using 𝛿-NFGs to Identify and Eliminate Dead Code in C# Programs. April–July 2022.
- (TCS BSc) Gerk-Jan Huisma, Recursive Island Parsing: Monadic Lake Parser Combinators. November 2021 – July 2022.
- (TCS BSc) Jelle Hulter, Improving the Integrated Development Environment of a Legacy Software Platform. April–July 2022.
- (TCS BSc) Tom Meulenkamp, Parser Benchmarking for Legacy Languages. April–July 2022.
- (TCS BSc) Luc Timmerman, Performance Testing Owl, Parser Generator for Visibly Pushdown Grammars. April–July 2022.
- (TCS BSc) Mark van Wijk, The Quest for the Best Thread-Safe Java List. April–July 2022.
- (TCS BSc) Leonardo Pasquarelli, Extending Java Collections for List and Set Data Structures. January–July 2022.
- (TCS BSc) Berke Güdücü, Weighted Abstract Syntax Trees for Program Comprehension in Java. April–July 2022. Co-supervised with Marcus Gerhold.
- (TCS BSc) Wouter van den Brink, Weighed and Found Legacy: Modernity Signatures for PHP Systems Using Static Analysis. April–July 2022. Co-supervised with Marcus Gerhold.
- (TCS BSc) Aron Davids, Identifying Plot Holes in Narrative Stories by Simulating Events. April–July 2022.
- (TCS BSc) Bas Marcelis, A Derivative-based, Colored-edged Parser Generator for Nested Words. November 2022 – February 2023. Best Paper Award at TScIT38.
- (TCS BSc) Pepijn Visser, xBib: The Language design and implementation of a Transformation Language. November 2022 – February 2023.
- (TCS BSc) Rutger Witmans, Improving nothingness: Refactorings on Whitespace. November 2022 – February 2023.
- (TCS BSc) Michael Janssen, A Parser Generator for Visibly Pushdown Languages: Translating between VPLs. November 2022 – February 2023.
- (TCS BSc) Chris Admiraal, Calculating the Modernity of Popular Python Projects. November 2022 – February 2023. Co-supervised with Marcus Gerhold.
- (TCS BSc) Kristian Nedelchev, Performance evaluation of Map implementations in Java, Python and C#. November 2022 – February 2023.
- (CS MSc) Marnick van der Arend, The LAMP Framework — A Language-Agnostic Code Quality Assurance Framework for Multi-Paradigm Languages. May 2022 – March 2023. Co-supervised with Jan-Jelle Kester and Rinse van Hees. (code)
- (CS MSc) Andrei Popa, Gotta Adjust Them All! Dynamic Difficulty Adjustment of Role-Playing Games through Procedural Generation of Non-Player Characters. March 2022 – May 2023. Co-supervised with Marcus Gerhold. (code)
- (CS CS) Ellen Wittingen, Compiler Optimizations for Power Usage and Program Size. January–June 2023.
- (TCS BSc) Tom Smeets, µScope: A Reusable Interface For Debugging STM32 Microcontrollers. April–July 2023. Co-supervised with Tim Klein Nijenhuis. (code) (plugin)
- (TCS BSc) Vladimir Kobzev, Dia: a Domain Specific Language for Scripted Dialogues and Cutscenes. April–July 2023. Co-supervised with Marcus Gerhold.
- (TCS BSc) Cristian Zubcu, Effect of Normalization Techniques on Modernity Signatures in Source Code Analysis. April–July 2023. Co-supervised with Marcus Gerhold.
- (TCS BSc) Sandu-Victor Mintuş, Supporting New Programming Language in RefDetect. April–July 2023. Co-supervised with Iman Hemati Moghadam.
- (CS CS) Mart van Assen, Aimé Ntagengerwa, Ömer Sayilir, Crossover: Towards Compiler-Enabled COBOL-C Interoperability. September 2022 – September 2023.
Courses
- (MSc) Design of Software Architectures
- (MSc) Software Evolution (BabyCobol)
- (BSc) Software Systems
- November 2020 – January 2021; 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: Faizan Ahmed, Maarten Everts, Marcus Gerhold, Marieke Huisman, Ömer Şakar, Yeray Barrios Fleitas
(IDEA)
- November 2021 – January 2022; coordinator: Tom van Dijk; my role: exam design, Q&A sessions corresponding to pre-recorded microlectures; people involved: Faizan Ahmed, Maarten Everts, Marcus Gerhold, Marieke Huisman, Peter Lammich, Ömer Şakar, Yeray Barrios Fleitas
- November 2022 – January 2023; coordinator: Tom van Dijk; my role: exam design, Q&A sessions corresponding to pre-recorded microlectures; people involved: Faizan Ahmed, Georgiana Caltais, Mohammed El-Hajj, Marcus Gerhold, Marieke Huisman, Peter Lammich, Iman Hemati Moghadam, Ömer Şakar, Reza Soltani, Mahboobeh Zangiabady
- (BSc) Design Project
- September–November 2021;
my role: guiding one group; people involved: Aamir Farooq, Andrei Raureanu, Bozhidar Velinov, Julián Navarro Di Pasquale
- February–April 2022;
my role: guiding one group; people involved: Boris Belchev, Pavel Hristov, Viktor Tonchev, Ivan Trendafilov, Irvine Verio
- September–November 2022;
my role: guiding one group; people involved: Samuel Coste, Hans Goor, Tim Koree, Ronan Oostveen, Reinout Vos
- February–April 2023;
my role: guiding one group; people involved: André Andringa, Maouheb Bessi, Marc Souvannasouck, Jelle Veldmaat, Cristi Zubcu
- (MSc) Capita Selecta
Current students (by start date; dim if not the main supervisor)
- (CS MSc) Arthur Rump: Apollo++
- (CS MSc) Max Hendriks: Consider It Parsed
- (CS MSc) Rafael Dulfer, Parsing with WAG
- (CS MSc) Ömer Sayilir, 4GLs
- (CS MSc) Stijn Broekhuis, JSON Schemata Inference
- (CS MSc) Nick Wolters, Semi-parsing
- (CS MSc) Daniël Floor, Code comprehension in a multi-paradigm environment
- (CS MSc) Lotte Steenmeijer, WAGIoT
- (CS MSc) Nele Budde, Consider It Parsed
- (CS CS) Lola Solovyeva, Language Identification