Vadim Zaytsev aka @grammarware

Technical Computer Science (Bachelor) and
Computer Science (Master) programmes at the UT UT TCS BSc+MSc

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

Publications based on student work (by acceptance date)

Publications / presentations on educational topics (by presentation date)

Supervised students (by defence date)

  1. (TCS BSc) Joël Ledelay. Retrofitting Memoization: An Exploratory Study. November 2020 – January 2021. Hosted by ActFact.
  2. (TCS BSc) Ewout van der Wal. Rosetta ANTLR: Ultimate Grammar Extractor. November 2020 – January 2021. Best Paper Award at TScIT34. (code)
  3. (TCS BSc) Frank Groeneveld. Benchmarking and Optimisation of Engage!-based XML Parsers. November 2020 – January 2021.
  4. (TCS BSc) Michael Mulder. Creating a Compiler for the Semi-Structured Language of Blazons. November 2020 – January 2021.
  5. (EmSys CaSe) Pieter Staal, Electronic Circuit Composition in Haskell using Category Theory. September 2020 – June 2021. (book)
  6. (TCS BSc) Aamir Farooq. How to Zen Your Python. April–July 2021. Best Paper Award at TScIT35.
  7. (TCS BSc) Marten Voorberg. Performance Analysis of Membership Data Structures for Integers in Java. April–July 2021. Best Paper Nomination at TScIT35.
  8. (TCS BSc) Jan Douwe Beekman. Procedural Location Generation with Weighted Attribute Grammars. April–July 2021. Co-supervised with Marcus Gerhold.
  9. (TCS BSc) Ruiyuan Li. Generative Probabilistic Programming in Games: Creating Character Backgrounds Using a Bayesian Network. April–July 2021. Co-supervised with Marcus Gerhold.
  10. (CS MSc) Rick H. de Vries. Clash of Clangs: Differential Testing of srcML and Clang. October 2020 – July 2021.
  11. (CS MSc) Bui Hong Thien Nhat. Negomancer: Improvise. Adapt. Overcome. Transform. November 2020 – September 2021.
  12. (TCS BSc) Ivo Broekhof. Replication and Analysis of the Berry-Sethi Parser for Ambiguous Regular Expressions. November 2021 – February 2022. (code)
  13. (EE IM) Daan Martin Oosterveld, Creating a C compiler 50 years after C using Rust and procedural macros. November 2021 – February 2022. (code)
  14. (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.
  15. (TCS BSc) Cato de Kruif, Using 𝛿-NFGs to Identify and Eliminate Dead Code in C# Programs. April–July 2022.
  16. (TCS BSc) Gerk-Jan Huisma, Recursive Island Parsing: Monadic Lake Parser Combinators. November 2021 – July 2022.
  17. (TCS BSc) Jelle Hulter, Improving the Integrated Development Environment of a Legacy Software Platform. April–July 2022.
  18. (TCS BSc) Tom Meulenkamp, Parser Benchmarking for Legacy Languages. April–July 2022.
  19. (TCS BSc) Luc Timmerman, Performance Testing Owl, Parser Generator for Visibly Pushdown Grammars. April–July 2022.
  20. (TCS BSc) Mark van Wijk, The Quest for the Best Thread-Safe Java List. April–July 2022.
  21. (TCS BSc) Leonardo Pasquarelli, Extending Java Collections for List and Set Data Structures. January–July 2022.
  22. (TCS BSc) Berke Güdücü, Weighted Abstract Syntax Trees for Program Comprehension in Java. April–July 2022. Co-supervised with Marcus Gerhold.
  23. (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.
  24. (TCS BSc) Aron Davids, Identifying Plot Holes in Narrative Stories by Simulating Events. April–July 2022.
  25. (TCS BSc) Bas Marcelis, A Derivative-based, Colored-edged Parser Generator for Nested Words. November 2022 – February 2023. Best Paper Award at TScIT38.
  26. (TCS BSc) Pepijn Visser, xBib: The Language design and implementation of a Transformation Language. November 2022 – February 2023. (code)
  27. (TCS BSc) Rutger Witmans, Improving nothingness: Refactorings on Whitespace. November 2022 – February 2023. (code)
  28. (TCS BSc) Michael Janssen, A Parser Generator for Visibly Pushdown Languages: Translating between VPLs. November 2022 – February 2023.
  29. (TCS BSc) Chris Admiraal, Calculating the Modernity of Popular Python Projects. November 2022 – February 2023. Co-supervised with Marcus Gerhold.
  30. (TCS BSc) Kristian Nedelchev, Performance evaluation of Map implementations in Java, Python and C#. November 2022 – February 2023.
  31. (CS MSc) Marnick van der Arend, The LAMP Framework — A Language-Agnostic Code Quality Assurance Framework for Multi-Paradigm Languages. May 2022 – March 2023. Hosted by InfoSupport. (code)
  32. (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)
  33. (CS-ST CaSe) Ellen Wittingen, Compiler Optimizations for Power Usage and Program Size. January–June 2023.
  34. (TCS BSc) Tom Smeets, µScope: A Reusable Interface For Debugging STM32 Microcontrollers. April–July 2023. Hosted by DEMCON. (code) (plugin)
  35. (TCS BSc) Vladimir Kobzev, Dia: a Domain Specific Language for Scripted Dialogues and Cutscenes. April–July 2023. Co-supervised with Marcus Gerhold.
  36. (TCS BSc) Cristian Zubcu, Effect of Normalization Techniques on Modernity Signatures in Source Code Analysis. April–July 2023. Co-supervised with Marcus Gerhold.
  37. (TCS BSc) Sandu-Victor Mintuş, Supporting New Programming Language in RefDetect. April–July 2023. Co-supervised with Iman Hemati Moghadam.
  38. (CS-ST CaSe) Mart van Assen, Aimé Ntagengerwa, Ömer Sayilir, Crossover: Towards Compiler-Enabled COBOL-C Interoperability. September 2022 – September 2023.
  39. (CS-DST CaSe) Lola Solovyeva, Leveraging Machine Learning for Python Version Identification. April–October 2023. Co-supervised with Marcus Gerhold.
  40. (CS MSc) Max Hendriks, Consider it Parsed! March 2022 – October 2023. (code)
  41. (CS MSc) Stijn Broekhuis, Incorporating User Inputs for Improved JSON Schema Inference. November 2022 – December 2023. (code)
  42. (CS MSc) Arthur Rump, Apollo++: Automated Assessment of Learning Outcomes in Programming Projects. November 2021 – December 2023. (code)
  43. (TCS BSc) Julian van Santen, Using LLM Chatbots to Improve the Learning Experience in Functional Programming Courses. February 2024. Co-supervised with Marco Gerards. Best Paper Award at TScIT40.
  44. (TCS BSc) Chris Bleeker, Measuring Code Modernity in Rust. November 2023 – February 2024. Co-supervised with Marcus Gerhold. (code)
  45. (TCS BSc) Everard de Vree, Forging a Differential Tester for Haskell Compilers using Xsmith. November 2023 – February 2024.
  46. (CS-ST CaSe) Suzanne van der Veen, NoWa: A Chomsky Normal Form Converter for Weighted Attribute Grammars. September 2022 – January 2024. (code)
  47. (CS MSc) Daniël Floor, Code Comprehension in the Multi-Paradigm Environment Kotlin. January 2023 – February 2024. Hosted by InfoSupport.
  48. (CS-ST CaSe) Valentijn Hol, Facilitating Various Metaprogramming Techniques for Rust. September 2023 – February 2024.
  49. (CS MSc) Ömer Sayilir, Towards Grammatical Inference of Legacy Programming Languages. July 2023 – May 2024. (code) (code) (code) (code)
  50. (CS MSc) Rafael Dulfer, WAGon: A Weighted Attribute Grammar Oriented Notation. November 2022 – June 2024. (documentation) (code)
  51. (TCS BSc) Vladislav Mukhachev, Support Python in RefDetect. April–July 2024. Co-supervised with Iman Hemati Moghadam.
  52. (TCS BSc) Aliaksei Kouzel, Developing a DSL Design Methodology for CPS Diagnostics. April–July 2024. Co-supervised with Marcus Gerhold.
  53. (TCS BSc) Haroun Mangal, CSPL: A Domain-Specific Language for Modelling the Behaviour of Cyber-Physical Systems. April–July 2024. Co-supervised with Marcus Gerhold.
  54. (TCS BSc) Selin Mehmed, Domain-Specific Language for Cyber-Physical Systems: A Survey. April–July 2024. Co-supervised with Marcus Gerhold.
  55. (TCS BSc) Marks Troicins, Measuring Code Modernity of the C# Language Codebases. April–July 2024. Co-supervised with Marcus Gerhold. (code)
  56. (TCS BSc) Marko Vasylenko, Input Invariants in Fuzz-testing. April–July 2024. (code)
  57. (TCS BSc) Danila Bren, Pushing Down Context Free Grammars. April–July 2024. (code)
  58. (CS MSc) Naum Tomov, Extensibility Of Domain-Specific Languages: A Case Study of an Industrial DSL. November 2023 – July 2024. Co-supervised with Nhat.
  59. (CS MSc) Filip Ivanov, CodeQuizzer: Improving Codebase Understanding for Code Review via a Gamified Quiz Taking System. October 2023 – July 2024. Co-supervised with Arjan van Hessen.
  60. (CS MSc) Oebele Lijzenga, Generating Patch Ingredients for Search-Based Program Repair Using Code Language Models. November 2023 – August 2024. Co-supervised with Iman Hemati Moghadam.
  61. (CS-ST CaSe) Peter Smit, CBS: Providing FunCons for Simple Programming Language Semantics. August 2023 – August 2024. (code)
  62. (CS-ST CaSe) Faisal Nizamudeen, JavaScript: Past, Present and Future. June–November 2024.
  63. (CS MSc) Lotte Steenmeijer, Use Weighted Attribute Grammars to Formalize Human-to-Machine Communication in Internet of Things System. February 2023 – January 2025.
  64. (TCS BSc) Thijs Beumer, Measuring Code Modernity of Codebases Written in JavaScript. November 2024 – January 2025. Co-supervised with Marcus Gerhold. (code)
  65. (CS MSc) Nick Wolters, Building a Grammar: Generating Samples for Weighted Attribute Grammars. November 2022 – May 2025. Co-supervised with Marcus Gerhold. (code)
  66. (CS MSc) Ivo Broekhof, Maintainability Metrics for Mixed-Paradigm Code in Scala. February 2024 – June 2025. Co-supervised with Rinse van Hees.
  67. (CS MSc) Luc Timmerman, SCREAM: System for Cloud Resource Extraction And Motivation. February 2024 – June 2025. Co-supervised with Fernando Castor. (code)
  68. (CS MSc) Faisal Nizamudeen, Benchmarking the Programming Capabilities of Large Language Models. October 2024 – June 2025.
  69. (BIT BSc) Aleksandra Ignatovič, How Academics Organize LaTeX Projects—and Whether Structure Should Be Standardized. April–June 2025. Co-supervised with Nhat.
  70. (TCS BSc) Marius Pană, Comparing Rascal and JetBrains MPS through a DOT-Based Domain-Specific Language. April–June 2025. Co-supervised with Ömer Sayilir. Best Paper Award at TScIT43.
  71. (TCS BSc) Enrique Ramos Adamik, Comparing the Validation Capabilities of the Rascal and Spoofax Language Workbenches. April–June 2025. Co-supervised with Ömer Sayilir. (code) Best Paper Nomination at TScIT43.
  72. (TCS BSc) Miroslav Atanasov, Fake it ’till you make it: exploring the usefulness of synthetic datasets to train machine learning models for self-admitted technical debt classification and identification. November 2024 – June 2025. Co-supervised with Tiago Prince Sales.
  73. (TCS BSc) Wouter ten Brinke, FlexiTeX: LaTeX Collaboration Without Giving Up Personal Project Structure. April–June 2025. Co-supervised with Nhat. (code)
  74. (TCS BSc) Bart Griepsma, Can We Standardize LaTeX? Discovering Patterns in Real-World Repositories. April–June 2025. Co-supervised with Nhat. (code)
  75. (TCS BSc) Sorin Zele, Codebase Modernity: one step forward. April–June 2025. Co-supervised with Marcus Gerhold.
  76. (CS-ST CaSe) Ping-Ching Yeh, Reproducibility in Model Transformation Artefacts from a Decade of Transformation Tool Contest. September 2024 – July 2025.
  77. (CS-ST CaSe) Wouter van den Brink, TurboModernity Requirements. November 2023 – July 2025. Co-supervised with Marcus Gerhold.
  78. (CS MSc) Anissa Donkers, Exploring Code Quality in First-Year Java Projects: A Comparative Study of Traditional and AI-Assisted Solutions. September 2024 – August 2025. Co-supervised with Arthur Rump.
  79. (CS MSc) Ping-Ching Yeh, From Modeling to Verification: Translating SysMLv2 to PNML-Compliant Petri Nets. July–August 2025. Co-supervised with Ömer Sayilir and Wallace Corbo Ugulino. (code)
  80. (CS MSc) Tom Meulenkamp, Relational Parsing: From Academics to Practice. October 2024 – September 2025. (code)

Courses

Current students (by start date; dim if not the main supervisor)


The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: November 2025.
XHTML 1.1 CSS 3