On this page: an overview of my professional and hobby projects.

Professional

AuDaLa

Current status: Active, secondary

During my PhD, I created the basis for a parallel programming language called AuDaLa (Autonomous Data Language), working together with my supervisors, Thomas Neele and Jan Friso Groote, as well as Gijs Leemrijse and the members of the AVVA project. The fruits of this labour can be found in my thesis, titled A Parallel Programming Perspective - Design of AuDaLa and AuDaLogic.

The goal of AuDaLa is to facilitate understandable, usable and verifiable parallel programming. The thesis gives a solid theoretical grounding of AuDaLa, as well as examples, adaptations and methods to verify the language to achieve these goals. To some extent, this is achieved, but as can also be read in the thesis, much work can still be done (and one or two mistakes in some methods can still be ironed out).

This leads to the following two next steps:

  1. AuDaLa should evolve from academic mostly theoretical programming language to a full-fledged programming language.
  2. The verification methods of AuDaLa should be further developed and proven correct. For this, I envision to formalize AuDaLa and its verification methods in Rocq or Iris.

If you are interested in contributing, drop me a mail.

Hobby

Discordia

Discordia is my DnD setting, which I have been running some campaigns in for at least the last five years. It is my intent to coalesce some of the worldbuilding of this setting in a set of modules for the setting, each separate but complementary. Currently, I am working on the first of these, Into the Cursed Sea, a naval hexcrawl with spooky vibes. Check back in the future to find a repository of my working notes, because OneNote does not work on Linux and if I do happen to have a site which is able to have markdown pages then I’d better well use it.

Tom’s Blog

In the process of leaving for Singapore, friends requested me to give them updates about my time there. After considering some different means to do this (Polarsteps would be a right boring map view, I can tell you), I decided to do this through a blog; nicely centralized and everyone can check in at their own pace. Now to make sure that I cultivate journalling skills and find a better name for it.