Welcome. I’m Rutger Broekhoff, a MSc Computing Science (Mathematical Foundations of Computer Science; MFoCS) student at Radboud University Nijmegen, The Netherlands. On the side, I’ve been helping out at Profects with keeping the (Kubernetes) infrastructure running smoothly for some 6-odd years already. If you have become aware of my existence via PLMW or ICFP/SPLASH ’25, you may be interested in a short résumé. My email address is simply my first name at this domain.
Elsewhere online: .News. Some more or less recent things you might find intesting:
- (2025-06-27) Together with Robbert Krebbers, I have written a paper, Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language, which was accepted for publication at ICFP ’25. It is partially based on my Bachelor’s Thesis (see below). . Artifact: .
- (2025-06) I recently took some time to write a Metamath verifier in Nix. It is extremely ineficient and inevitably contains bugs. Codeberg.
- (2024-07-03) I have defended my Bachelor’s Thesis, Formally defining the semantics for the Nix expression language. .
- (2024-01) I have written a standalone Git LFS server in Rust, for use with S3-compatible services as backing storage. I use it with my own Git server. Code.