Expertise
Computer Science
- Algorithms
- decision diagram
- binary decision diagram
- Multicore
- Model Checking
- Evaluation
- Case Complexity
- Solving Algorithm
Organisations
My research is connected to formal verification and synthesis, including the efficient solving of parity games, using binary decision diagrams in formal methods and SAT/SMT solving with multi-core parallelism. I like making and improving usable research tools.
Publications
2024
The 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.10558315
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
2021
Almost-Symbolic Synthesis via Delta-2-Normalisation for Linear Temporal Logic (2021)[Contribution to conference › Paper] 10th Workshop on Synthesis. van Dijk, T., Abraham, R. & Sickert, S.IntelliJML: A JML plugin for IntelliJ IDEA (2021)In FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021 (pp. 39-42). Association for Computing Machinery. Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V. & Huisman, M.https://doi.org/10.1145/3464971.3468423
2020
Symbolic Parity Game Solvers that Yield Winning Strategies (2020)In Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification: Brussels, Belgium, September 21-22, 2020 (pp. 18-32) (Electronic Proceedings in Theoretical Computer Science; Vol. 326). Open Publishing Association. Lijzenga, O. & van Dijk, T.https://doi.org/10.4204/EPTCS.326.2
Research profiles
Courses academic year 2024/2025
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 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
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202400356 - Software Design
- 202400357 - Object-Oriented Programming
Courses academic year 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
Address
University of Twente
Zilverling (building no. 11), room 3035
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3035
P.O. Box 217
7500 AE Enschede
Netherlands
Organisations
Scan the QR code or
Download vCard
Download vCard