Steef Hegeman

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.

Blog

feed
Static site by HTML rewriting
CUDA tricks
Features I look forward to in future CSS
In memoriam: Wim Hegeman
Status update, March 2022
The story of snixembed
Matrix and the flood of lookup queries
From Jekyll to Metalsmith
Getting started with Libpeas extensions in Vala