I am a PhD candidate
working on parallel computation,
with a background in logic (MSc), mathematics (BSc), and theoretical computer science.
I also write open-source software.
Contact: mail at this domain,
or use my university address.
Software
I wrote snixembed,
and occasionally contribute to other projects.
(Exhibit A,
B
C,
D,
E,
…)
I’ve also worked on
GPU hash tables.
Research
See
arXiv,
dblp,
google scholar.
I’ve subreviewed for various venues and have some teaching experience.
Academic log (maybe we’ve met?)
-
-
-
- Master of Logic in Amsterdam (ILLC), mathematical logic track
Thesis supervised by Benedikt Löwe.
-
- Bachelor Mathematics in Leiden.
Thesis supervised by KP Hart.