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 with no subject. The recipient key fingerprint is 560D 0EF0 21CB 41B7 E1E3 4880 F284 F7A1 9456 AE7C (verifiable on 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