Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Tom van Dijk

Registered user since Sun 7 Apr 2019

Name:Tom van Dijk

I am an assistant professor at the Formal Methods and Tools group at the University of Twente. 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.

My PhD thesis was on parallelizing decision diagram algorithms. I implemented the Sylvan multi-core decision diagram package, which supports binary decision diagrams and multi-way (list) decision diagrams with custom leaves (booleans, integers, rational functions, etc). The package is used in several applications, including the model checkers LTSmin, STORM and ISCASMC, as well as the symbolic bisimulation minimisation tool SigrefMC. After my PhD, I worked as a Postdoc in the Formal Models and Verification group of Armin Biere, where I mostly studied parity games.

Affiliation:University of Twente
Personal website:https://www.tvandijk.nl
Research interests:parity games, decision diagrams, model checking, synthesis


FTfJP 2021 IntelliJML: A JML plugin for IntelliJ IDEA
SPIN 2021 University of Twente in Programming Committee within the SPIN-track
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile