A colleague of mine was involved in verifying the software that controlls the shut-down procedures of the Darlington [0] plant. Now he's working on proofs of bl

A colleague of mine was involved in verifying the software that controlls the shut-down procedures of the Darlington [0] plant. Now he's working on proofs of block-chain ciphers of some sort or another. I don't believe he's quite rich but he can certainly be rather selective of job opportunities. [0] https://en.wikipedia.org/wiki/Darlington_Nuclear_Generating_Station https://en.wikipedia.org/wiki/Darlington_Nuclear_Generating_... update: added link