Hi, I’m Alex Klinkhamer. You may remember me from such research papers as Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization or the related NP-completeness and undecidability proofs.

This site contains small projects, proof-of-concepts, and notes about how to do Linux stuff. I use Gentoo btw.

Want to chat? Have a suggestion or correction? Email me at or file a bug on GitHub.