Tom van Dijk


I am a Postdoc researcher at the Institute for Formal Methods and Verification at the Johannes Kepler University Linz. My current research topic is in symbolic model checking using SAT-solving. I am primarily motivated by making usable tools for scientific calculations, in particular model checking, and studying better algorithms for scientific problems. I obtained my PhD in the Formal Methods and Tools group at the University of Twente, where I studied parallel decision diagrams.

Furthermore I have hobbies, such as engaging in politics, surfing on reddit, playing computer games like the Discworld MUD and World of Warcraft, and various obvious other interests like eating and watching good movies.

Contact

Institute for Formal Methods and Verification
Johannes Kepler University Linz
E-mail: tom dot vandijk at jku dot at.
Room: Science Park 3, section 2D

Research interests

  • High-Performance Tools for Science
  • Symbolic Model Checking using Parallel Decision Diagrams
  • Parallel Algorithms and Data Structures
  • Formal Methods, Verification, and Model Checking

Publications

  • Sylvan: Multi-core Framework for Decision Diagrams
    with Jaco van de Pol: STTT special issue invited paper, accepted.
  • Multi-Core Symbolic Bisimulation Minimisation
    with Jaco van de Pol: TACAS 2016, Eindhoven, Netherlands (April 2016) [PDF, DOI]
  • A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking
    with Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, and Lijun Zhang: SETTA 2015, Nanjing, China (November 2015) [DOI]
  • A Distributed Hash Table for Shared Memory
    with Wytse Oortwijn and Jaco van de Pol: Parallel Processing and Applied Mathematics (September 2015)
  • Sylvan: Multi-core Decision Diagrams
    with Jaco van de Pol: TACAS 2015, London, UK (April 2015) [PDF, DOI]
  • LTSmin: High-Performance, Language-Independent Model Checking
    with Stefan Blom, Gijs Kant, Alfons Laarman, Jeroen Meijer, and Jaco van de Pol: TACAS 2015, London, UK (April 2015) [DOI]
  • Lace: Non-blocking Split Deque for Work-Stealing
    with Jaco van de Pol: 7th Intl Workshop on Multi/many-Core Computing Systems, Porto, Portugal (August 2014) [DOI]
  • Multi-core and/or Symbolic Model Checking
    with Alfons Laarman and Jaco van de Pol: invited paper to AVOCS 2012, Bamberg, Germany (September 2012) [DOI]
  • Multi-Core BDD Operations for Symbolic Reachability
    with Alfons Laarman and Jaco van de Pol: 11th Intl Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, London, UK (September 2012) [DOI]

Theses

  • The parallelization of binary decision diagram operations for model checking, M.Sc. Thesis (cum laude), University of Twente, April 2012 [PDF]
    Awarded an honorary mention (2nd place) of the Dutch national M&I Informatie Scriptieprijs 2012.
  • Analysing And Improving Hash Table Performance, B.Sc. Thesis, University of Twente, 2010 [PDF]

Other accomplishments

  • From 2000 to 2003, I developed a number of game modification programs in Visual C++ to customize the computer game The Sims. One of these programs was published and sold worldwide by Abacus under the name Career Creator Pro.
  • Two consecutive projects involving high-speed real-time sensor controller software in C for a R&D project of Scangineers/ScanPoint, a company that developed Self Service Checkouts. I was the (only) software developer in this project.
  • Secretary of the board (2006-2007) of the student association VGST.
  • Chairman (2012-2013) of the Jonge Democraten Twente, the regional department of the Jonge Democraten, a political youth organisation associated with the national party D66.
  • As part of a volunteer team, I’ve worked on several web development projects for the Jonge Democraten, see my GitHub.
  • As a member of both the Economy and the Sustainability study groups of the Jonge Democraten, I helped organize a national symposium (“Duurzaam denken & duurzaam ondernemen”, january 2015) on environmental sustainability in business, in which I managed technical aspects and organized several speakers.
  • As a part of the international volunteer organization Crusaders of Honor, I participated in defending Azeroth from many foes, including the demise of the demon Archimonde in Mythic difficulty on March 3rd 2016.