Tom van Dijk

Tom van Dijk is an Assistant Professor in the Department of Formal Methods and Tools at the University of Twente. He holds a PhD and MSc in related fields. His research focuses on formal methods, algorithm design, model checking, decision diagrams, and parity games. Key contributions include work on reactive synthesis, parity game solvers (e.g., Oink and Knor), and multi-core computing techniques.

His research interests include algorithm complexity analysis, symbolic methods, and formal verification. Notable achievements include the SYNTCOMP awards (2021–2023) and the Best Paper Award at SPIN 2017. He has published widely on topics such as parity game algorithms, decision diagram optimizations, and parallel computing frameworks like Sylvan and LTSmin.

Recent articles highlight advancements in parity game solving strategies, reactive synthesis competitions, and worst-case complexity analysis. He actively contributes to open-source tools and datasets, including repositories on Zenodo and GitHub. His work aligns with UN Sustainable Development Goals through contributions to efficient computational methods and formal verification techniques.