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 has been 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 inefficient 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.