Expertises
Computer Science
- Algorithms
- decision diagram
- binary decision diagram
- Multicore
- Model Checking
- Evaluation
- Case Complexity
- Solving Algorithm
Organisaties
Publicaties
2025
Avoiding Distractions in Parity Games (2025)In Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 330-352) (Lecture Notes in Computer Science; Vol. 15221). Springer. van Dijk, T.https://doi.org/10.1007/978-3-031-75380-0_19
2024
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 (2024)International journal on software tools for technology transfer, 26(5), 551-567. Jacobs, S., Pérez, G. A., Abraham, R., Bruyère, V., Cadilhac, M., Colange, M., Delfosse, C., van Dijk, T., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., … Walker, A.https://doi.org/10.1007/s10009-024-00754-1RTL Experiments (2024)[Dataset Types › Dataset]. Zenodo. van Dijk, T.https://doi.org/10.5281/zenodo.11265649The Worst-Case Complexity of Symmetric Strategy Improvement (2024)In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) (pp. 24.1-24.19). Article 24. van Dijk, T., Loho, G. & Maat, M. T.https://doi.org/10.4230/LIPIcs.CSL.2024.24Progress Measures and Tangle Learning algorithm implementation and benchmarks (2024)[Dataset Types › Dataset]. Zenodo. Stekelenburg, A. & van Dijk, T.https://doi.org/10.5281/zenodo.10558315Knor: reactive synthesis using Oink (2024)In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings (pp. 103-122) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14570 LNCS). Springer. van Dijk, T., van Abbema, F. & Tomov, N.https://doi.org/10.1007/978-3-031-57246-3_7
2023
Artifact of Knor: reactive synthesis using Oink (2023)[Dataset Types › Dataset]. 4TU.Centre for Research Data. van Dijk, T.https://doi.org/10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7The Worst-Case Complexity of Symmetric Strategy Improvement (2023)[Working paper › Preprint]. Dijk, T. v., Loho, G. & Maat, M.https://doi.org/10.48550/arXiv.2309.02223QuestionMark (2023)[Dataset Types › Dataset]. Zenodo. Zandbergen, N., van Keulen, M., van Dijk, T. & Flokstra, J.https://doi.org/10.5281/zenodo.8146101
2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021 (2022)[Working paper › Preprint]. Jacobs, S., Perez, G. A., Abraham, R., Bruyere, V., Cadilhac, M., Colange, M., Delfosse, C., Dijk, T. v., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., … Walker, A.https://doi.org/10.48550/arXiv.2206.00251
Onderzoeksprofielen
Vakken collegejaar 2025/2026
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
Vakken collegejaar 2024/2025
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta ST
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900234 - Internship I-Tech
- 202001197 - Calculus 1B for TCS
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202100116 - Model Checking and Parity Games
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300356 - Functional and Logic Programming
- 202300357 - Concurrency and Compiler Construction
- 202400356 - Software Design
- 202400357 - Object-Oriented Programming
Vakken collegejaar 2023/2024
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001024 - Software Systems Core
- 202001197 - Calculus 1B for TCS
- 202001363 - Implementation Proj. Graph Isomorphism
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202100116 - Model Checking and Parity Games
- 202200191 - Functional and Logic Programming
- 202200192 - Concurrency and Compiler Construction
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300186 - Software Systems Core
- 202300188 - Programming Theory & Project
- 202300356 - Functional and Logic Programming
- 202300357 - Concurrency and Compiler Construction
Adres

Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3035
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3035
Postbus 217
7500 AE Enschede