Proof Engineer in Sydney, Australia
Hey there! I'm a mathematician and programmer — by hobby and profession. I'm also interested in musicology and photography. I'm a design nerd, and a recovering perfectionist. I'm currently working a lot with the Rust programming language and program analysis.
I'm willing to discuss collaborating on long-term projects in programming languages, static and dynamic analysis of programs, secure communication/cryptography, and interactive graphics programs ("games", especially story-driven or procedurally generated).
I'm also currently accepting contract work for all manner of Python-related tasks, especially web development with Flask.
The best way to contact me is email, or you can call me at +16032392210.
If you wish to communicate with me securely, please send a PGP-encrypted message to email@example.com 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.