About Me:

I'll fill this in someday...

Current Interests:

• Blockchain, specifically Proof of Stake (such as Ouroboros)
• Secure Multi-Party Computation
• Zero-Knowledge Proofs
• Formal Logic
  • Check out pyLemma on GitHub

Good Links:

• http://www.markjoshi.com/Ashland/Jokes.html

Contact Info:

[email protected]

(Get rid of the +spam part or it will go to my spam box)