Corey Richardson

Proof Engineer in Sydney, Australia

Read my blog

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 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