Tom Van Dijk Email & Phone Number

I am an assistant professor in Computer Science at the Formal Methods and Tools group of the University of Twente. My current research is on parity games, where I develop new algorithms to solve parity games and also work on a fast practical implementation of existing algorithms. I also work with binary decision diagrams, where I developed the Sylvan parallel decision diagram library.My primary motivation is working on research tools. I like to use tools as a platform to study better algorithms for difficult scientific problems, in particular those related to formal verification. I obtained my PhD in Computer Science with the Formal Methods and Tools group at the University of Twente, where I studied parallel decision diagrams algorithms.I like developing software, both low level programming using C/assembly and high level programming in languages such as Python. I have coded in C for over 20 years now (since early high school) and have used other languages like Python and assembly language for various toy projects and more serious projects.As a 16-year-old I developed a number of modding tools for The Sims using Visual C++. One of these was published world-wide by Abacus, Inc. During my University years, I implemented high-performance parallel control and data gathering software for an R&D project of Scangineers (later: ScanPoint). As an academic researcher, I work on a low level with C, C++ and assembly in order to study high performance multi-core algorithms, as well as efficient implementations of parity game solving algorithms.