Corey Richardson

Proof Engineer in Sydney, Australia

Read my blog

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 corey@octayn.net 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.

  • Work
    • Mozilla
    • Dyn
    • SUNY Potsdam
  • Education
    • CS Major @ Clarkson University