I'll fill this in someday...
- Blockchain, specifically Proof of Stake (such as Ouroboros)
- Secure Multi-Party Computation
- Zero-Knowledge Proofs
- Formal Logic
- Check out pyLemma on GitHub
(Get rid of the +spam part or it will go to my spam box)