Tom Van Dijk
Assistant Professor at University of Twente
Greater Enschede Area Netherlands
Summary
🤩
RockstarTom Van Dijk is an assistant professor of Computer Science at the University of Twente specializing in formal verification, high-performance parity game algorithms, and parallel decision diagrams. He develops research-grade tools and fast practical implementations—most notably the Sylvan parallel decision diagram library—and combines low-level C/C++/assembly expertise with higher-level Python and Rust work. With a PhD focused on multi-core parallelism and years of experience building real-time and kernel-interfacing systems, he bridges theoretical algorithm design and production-ready software. Tom also contributes to open-source tooling (e.g., enhancing the xplr TUI file explorer) and has a long-standing drive for performance engineering dating back to commercial modding tools he created as a teenager.
6 years of coding experience
8 years of employment as a software developer
Github Skills (10)
tui10
command-line-interface10
terminal-ui10
file-explorer10
rust10
cli10
command-line10
error-handling9
configuration-management9
git3
Programming languages (28)
Github contributions (5)
sayanarijit/xplr
Sep 2021 - May 2022
A hackable, minimal, fast TUI file explorer
Role in this project:
Back-end Developer
Back-end DeveloperContributions:12 commits, 4 PRs, 23 comments in 8 months
Contributions summary:Tom primarily focused on refactoring and enhancing the core functionality of the TUI file explorer, `xplr`. They introduced a `Cli` struct to manage command-line arguments, improving the structure of the `Runner` and its interaction with the command-line interface. Further contributions include implementing the `--select` and `--force-focus` options, along with adding a debug mode and related functionalities. These changes indicate a focus on improving the application's usability and debugging capabilities.
vimdeveloper-toolstuincursesexplorer
dtomvan/.config
Apr 2021 - Jan 2023
My config repo
Contributions:200 commits, 3 PRs, 264 pushes in 1 year 8 months
dotfilesconfigconfig-repo
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.