dr. T. van Dijk MSc (Tom)

Assistant Professor
EEMCS-CS-FMT
Zilverling 3035
t.vandijk@utwente.nl
Business card

Expertise

  • Computer Science

    • Algorithms
    • decision diagram
    • binary decision diagram
    • Multicore
    • Model Checking
    • Evaluation
    • Solving Algorithm
    • Model Checking Problem

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

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

Research profiles

Courses academic year 2023/2024

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.

Courses academic year 2022/2023

Address

University of Twente

Zilverling (building no. 11), room 3035
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard