Corey Richardson

Student in Potsdam, New York

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.

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, if necessary, we can arrange an OTR session. I prefer not to send secrets with PGP.

  • Education
    • CS Major @ Clarkson University