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 with no subject. The recipient key fingerprint is 560D 0EF0 21CB 41B7 E1E3 4880 F284 F7A1 9456 AE7C (verifiable on From there, if necessary, we can arrange an OTR session. I prefer not to send secrets with PGP.

  • Education
    • CS Major @ Clarkson University