Expertises
Computer Science
- Algorithms
- decision diagram
- binary decision diagram
- Multicore
- Model Checking
- Evaluation
- Solving Algorithm
- Model Checking Problem
Organisaties
Publicaties
2023
The Worst-Case Complexity of Symmetric Strategy Improvement. Dijk, T. v., Loho, G. & Maat, M.https://doi.org/10.48550/arXiv.2309.02223
2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. 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. van Dijk, T., Abraham, R. & Sickert, S.IntelliJML: A JML plugin for IntelliJ IDEAIn 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 StrategiesIn Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification: Brussels, Belgium, September 21-22, 2020 (pp. 18-32). Open Publishing Association. Lijzenga, O. & van Dijk, T.https://doi.org/10.4204/EPTCS.326.2
Onderzoeksprofielen
Vakken collegejaar 2023/2024
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.
- 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
Vakken collegejaar 2022/2023
- 192166200 - Capita Selecta I-TECH
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Masteronderzoek ECB Informatica
- 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
- 202001052 - Programming Theory & Project
- 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
- 202200377 - Internship I-Tech / Robotics
- 202200399 - Internship I-Tech / Robotics
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3035
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3035
Postbus 217
7500 AE Enschede