I meow meow meow and I bzz bzz bzz.
In love with modern C++.
I like cooking, swimming and sailing.
PhD in Formal Verification.
CNC toolpath engineer by day. Manual lathe and mill operator by night.