Currently I’m doing my PhD on verifying GPU languages at Eindhoven Technical University. I’ve done my master thesis at Utrecht University on Accelerate, which is an array DSL that can target the GPU. For my bachelors I studied physics & mathemathics, with a special interest in astronomy.

In my spare time you can mostly find me reading fantasy books, playing (board) games or picking up a new sport (the most recent one being climbing). But you can also hit me up for some craft beers or send me any cat pictures.