Proof Engineer in Sydney, Australia
Hey there! I'm a mathematician and programmer — by hobby and profession. I'm currently working a lot with the Rust programming language and seL4.
I'm willing to discuss collaborating on long-term projects in programming languages, static and dynamic analysis of programs, secure communication/cryptography, operating systems, and interactive graphics programs ("games", especially story-driven or procedurally generated).
The best way to contact me is email, or you can call me at +610481782084.
If you wish to communicate with me securely, please send a PGP-encrypted message to firstname.lastname@example.org with no subject. The recipient key fingerprint is 560D 0EF0 21CB 41B7 E1E3 4880 F284 F7A1 9456 AE7C (verifiable on keybase.io/cmr). From there, we can arrange an OTR session. Please do NOT send secrets to me with PGP.