Skip to main navigation Skip to search Skip to main content
Tom van Dijk

View Scopus Profile

Tom van Dijk

PhD, MSc

 https://orcid.org/0000-0002-5366-1051
20122026

Research activity per year

Personal profile

Keywords

  • QA75 Electronic computers. Computer science
  • QA76 Computer software

Artificial Intelligence Expert

  • Knowledge Representation and Reasoning
  • Education

Transport Expert

  • Optimization Technologies
  • Information Systems

ChipTech Expert keywords

  • Programming and Software
  • Computing

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  1. SDG 4 - Quality Education
    SDG 4 Quality Education

Fingerprint

Dive into the research topics where Tom van Dijk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • The Impact of Generative Artificial Intelligence Tools in Project-Based Learning

    van Dijk, T. & Zaytsev, V., 2026, Bridging the gap between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024. Selected Papers. Steffen, B. (ed.). Cham, Switzerland: Springer, p. 48-76 29 p. (Lecture Notes in Computer Science; vol. 16032).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    179 Downloads (Pure)

  • Preface for the special issue on selected software artifacts from DisCoTec 2023: The 18th International Federated Conference on Distributed Computing Techniques

    Casadei, R., Vielmo Cogo, V., van Dijk, T. & Scalas, A., Jul 2025, In: Science of computer programming. 243, 103255.

    Research output: Contribution to journal › Editorial › Academic

  • Avoiding Distractions in Parity Games

    van Dijk, T., 30 Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 330-352 23 p. (Lecture Notes in Computer Science; vol. 15221).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1   Link opens in a new tab Citation (Scopus)
    132 Downloads (Pure)

  • Knor: reactive synthesis using Oink

    van Dijk, T., van Abbema, F. & Tomov, N., 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer, p. 103-122 20 p. (Lecture Notes in Computer Science; vol. 14570).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4   Link opens in a new tab Citations (Scopus)
    106 Downloads (Pure)

  • Solving Parity Games, Very Slowly

    van Dijk, T., 18 Nov 2024, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Springer, p. 446-465 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    69 Downloads (Pure)
View all 36 research outputs
  • 1 Oral presentation