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